Sciweavers

13151 search results - page 310 / 2631
» Position based dynamics
Sort
View
AIR
2004
106views more  AIR 2004»
15 years 4 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
CVPR
2007
IEEE
16 years 6 months ago
Image-Based Localization Using Hybrid Feature Correspondences
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
Fredrik Kahl, Kalle Åström, Klas Joseph...
IPPS
2006
IEEE
15 years 10 months ago
A framework for developing distributed location based applications
Location based services and applications are buzzwords nowadays, yet they have been around for quite some time in a variety of applications. However these applications are scarce ...
Andrej Krevl, Mojca Ciglaric
ICCAD
1996
IEEE
86views Hardware» more  ICCAD 1996»
15 years 9 months ago
Tearing based automatic abstraction for CTL model checking
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary ...
BNCOD
2007
121views Database» more  BNCOD 2007»
15 years 6 months ago
Indexing and Searching XML Documents Based on Content and Structure Synopses
We present a novel framework for indexing and searching schema-less XML documents based on concise summaries of their structural and textual content. Our search query language is X...
Weimin He, Leonidas Fegaras, David Levine