simulated evolution and learning :
| |
simulated evolution and learning :
|
pedagogically founded courseware gen...
| |
pedagogically founded courseware generation for web-based learning
|
formal modeling and analysis of time...
| |
formal modeling and analysis of timed systems
|
cooperative information agents xii
| |
cooperative information agents xii
|
visual information systems
| |
visual information systems
|
artificial neural networks - icann 2008
| |
artificial neural networks - icann 2008
|
automated deduction, cade-14
| |
automated deduction, cade-14
|
automata, languages, and programming
| |
automata, languages, and programming
|
|
|
advances in databases
|
|
|
model checking software
|
numerical software with result verif...
| |
numerical software with result verification
|
programming languages and systems
| |
programming languages and systems
|
programming languages and systems
| |
programming languages and systems
|
advances in multimedia modeling
| |
advances in multimedia modeling
|
energy minimization methods in compu...
| |
energy minimization methods in computer vision and pattern recognition
|
neural information processing
| |
neural information processing
|
advances in information retrieval
| |
advances in information retrieval
|
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
|