Sciweavers

1045 search results - page 75 / 209
» Stepping into the Interactive Drama
Sort
View
SAMT
2007
Springer
109views Multimedia» more  SAMT 2007»
16 years 9 days ago
The Multimodal and Multidimensional Content and Media
—This poster describes the aim and the main research activities carried out within the project Multimodal and Multidimensional Content and Media of the ICT Department of the Nati...
Franca Giannini
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
15 years 11 months ago
Planning with Continuous Actions in Partially Observable Environments
Abstract— We present a simple randomized POMDP algorithm for planning with continuous actions in partially observable environments. Our algorithm operates on a set of reachable b...
Matthijs T. J. Spaan, Nikos A. Vlassis
FROCOS
2005
Springer
15 years 11 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
ISWC
2003
IEEE
15 years 11 months ago
Personal Position Measurement Using Dead Reckoning
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...
Cliff Randell, Chris Djiallis, Henk L. Muller
WEBDB
1999
Springer
131views Database» more  WEBDB 1999»
15 years 10 months ago
Adapter Generation for Extracting and Querying Data from Web
Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into querie...
Kai-Uwe Sattler, Michael Höding