Sciweavers

1351 search results - page 222 / 271
» A Possible Approach to the Development of Robotic Multi-Agen...
Sort
View
VRCAI
2006
ACM
15 years 10 months ago
ICWall: a calibrated stereo tiled display from commodity components
Recent developments in the fields of parallel rendering and high resolution tiled displays have made it possible to apply these technologies to build large and scalable stereo di...
Tom van der Schaaf, Desmond Germans, Michal Koutek...
AIED
2005
Springer
15 years 10 months ago
Blending Assessment and Instructional Assisting
Middle school mathematics teachers are often forced to choose between assisting students' development and assessing students' abilities because of limited classroom time ...
Leena M. Razzaq, Mingyu Feng, Goss Nuzzo-Jones, Ne...
TPHOL
2003
IEEE
15 years 9 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
144
Voted
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 9 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 8 months ago
A Dynamic Service Level Negotiation Mechanism for QoS Provisioning in NGEO Satellite Networks
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...
Tarik Taleb, Kazuo Hashimoto, Nei Kato, Yoshiaki N...