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
|