Sciweavers

3022 search results - page 436 / 605
» From plans to planning: the case of nursing plans
Sort
View
BIRTHDAY
2005
Springer
15 years 4 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
AAAI
2004
15 years 19 days ago
High-Level Goal Recognition in a Wireless LAN
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
Jie Yin, Xiaoyong Chai, Qiang Yang
CE
2008
197views more  CE 2008»
14 years 11 months ago
ICT integration in the classroom: Challenging the potential of a school policy
Despite the assumption that the integration of ICT influences the entire school system, research focusing on ICT in schools is generally limited to the study of variables at class...
Jo Tondeur, Hilde van Keer, Johan van Braak, Marti...
CVPR
2000
IEEE
16 years 1 months ago
3-D Model Construction Using Range and Image Data
This paper deals with the automated creation of geometric and photometric correct 3-D models of the world. Those models can be used for virtual reality, tele? presence, digital ci...
Ioannis Stamos, Peter K. Allen
ICML
2009
IEEE
16 years 1 days ago
Trajectory prediction: learning to map situations to robot trajectories
Trajectory planning and optimization is a fundamental problem in articulated robotics. Algorithms used typically for this problem compute optimal trajectories from scratch in a ne...
Nikolay Jetchev, Marc Toussaint