Sciweavers

2013 search results - page 216 / 403
» Happy New Year
Sort
View
ECAI
2004
Springer
16 years 1 days ago
A Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
Alke Martens, Adelinde Uhrmacher
ISER
2004
Springer
112views Robotics» more  ISER 2004»
16 years 1 days ago
Toward Reliable Off Road Autonomous Vehicles Operating in Challenging Environments
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...
Alonzo Kelly, Omead Amidi, Mike Bode, Michael Happ...
ISMIR
2004
Springer
184views Music» more  ISMIR 2004»
16 years 1 days ago
A Polyphonic Music Retrieval System Using N-Grams
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...
Shyamala Doraisamy, Stefan M. Rüger
ITRUST
2004
Springer
16 years 23 hour ago
Towards Dynamic Security Perimeters for Virtual Collaborative Networks
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
Ivan Djordjevic, Theodosis Dimitrakos
169
Voted
LATIN
2004
Springer
16 years 20 hour ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin