Sciweavers

9697 search results - page 415 / 1940
» Intelligent Transportation Systems
Sort
View
TC
2010
15 years 5 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
AIED
2005
Springer
16 years 10 days ago
Do Performance Goals Lead Students to Game the System?
Students approach the learning opportunity offered by intelligent tutoring systems with a variety of goals and attitudes. These goals and attitudes can substantially affect student...
Ryan Shaun Baker, Ido Roll, Albert T. Corbett, Ken...
IWSAS
2001
Springer
15 years 11 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
ROBOCUP
1998
Springer
146views Robotics» more  ROBOCUP 1998»
15 years 11 months ago
Rocco: A RoboCup Soccer Commentator System
With the attempt to enable robots to play soccer games, the RoboCup challenge poses a demanding standard problem for AI and intelligent robotics research. The rich domain of robot ...
Dirk Voelz, Elisabeth André, Gerd Herzog, T...
CCIA
2006
Springer
15 years 10 months ago
Improving the Team-work in Heterogeneous Multi-agent Systems: Situation Matching Approach
: This paper presents a method called "Situation Matching" that aids to improve cooperative tasks in heterogeneous multi-agent systems. The situation matching (SM) above ...
Salvador Ibarra, Christian G. Quintero, Díd...