formal modeling and analysis of time...
|
|
formal modeling and analysis of timed systems
|
visual information systems
|
|
visual information systems
|
artificial neural networks - icann 2008
|
|
artificial neural networks - icann 2008
|
pedagogically founded courseware gen...
|
|
pedagogically founded courseware generation for web-based learning
|
numerical software with result verif...
|
|
numerical software with result verification
|
advances in multimedia modeling
|
|
advances in multimedia modeling
|
programming languages and systems
|
|
programming languages and systems
|
neural information processing
|
|
neural information processing
|
databases, information systems, and ...
|
|
databases, information systems, and peer-to-peer computing :
|
advances in computer games :
|
|
advances in computer games :
|
network and parallel computing
|
|
network and parallel computing
|
coordination models and languages
|
|
coordination models and languages
|
progress in pattern recognition, spe...
|
|
progress in pattern recognition, speech and image analysis
|
agent-mediated knowledge management
|
|
agent-mediated knowledge management
|
least squares orthogonal distance fi...
|
|
least squares orthogonal distance fitting of curves and surfaces in space
|
discrete geometry for computer imagery :
|
|
discrete geometry for computer imagery :
|
|
graphics recognition
|
advances in artificial intelligence
|
|
advances in artificial intelligence
|
algorithmic number theory
|
|
algorithmic number theory
|
querying databases privately
|
|
querying databases privately
|