2477 search results - page 401 / 496 » First-Order Interactive Programming |
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (âtutor generatorsâ...
ICDE
2006
IEEE
14 years 4 months ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
â This paper presents an interior point approach to exact distance computation between convex objects represented as intersections of implicit surfaces. Exact distance computatio...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstractâ Tomorrowâs humanoids will operate in human environments, where efïŹcient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
The ”Klaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...