Sciweavers

2523 search results - page 413 / 505
» Correct Development of Embedded Systems
Sort
View
ICNP
2006
IEEE
14 years 3 months ago
Vault: A Secure Binding Service
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...
Guor-Huar Lu, Changho Choi, Zhi-Li Zhang
IROS
2006
IEEE
205views Robotics» more  IROS 2006»
14 years 3 months ago
Vision-based Motion Planning for an Autonomous Motorcycle on Ill-Structured Road
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
Dezhen Song, Hyun Nam Lee, Jingang Yi, Anthony Lev...
ICCV
2005
IEEE
14 years 2 months ago
Learning the Probability of Correspondences without Ground Truth
We present a quality assessment procedure for correspondence estimation based on geometric coherence rather than ground truth. The procedure can be used for performance evaluation...
Qingxiong Yang, R. Matt Steele, David Nisté...
AIED
2005
Springer
14 years 2 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg
ACOM
2004
Springer
14 years 2 months ago
Toward a Suite of Performatives Based Upon Joint Intention Theory
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
Marcus J. Huber, Sanjeev Kumar, David McGee