Sciweavers

1065 search results - page 150 / 213
» Droidel: a general approach to Android framework modeling
Sort
View
WWW
2005
ACM
15 years 3 months ago
Finding the boundaries of information resources on the web
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
Pavel Dmitriev, Carl Lagoze, Boris Suchkov
ICRA
2000
IEEE
100views Robotics» more  ICRA 2000»
15 years 2 months ago
Robots Can Teach People How to Move Their Arm
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
Ferdinando A. Mussa-Ivaldi, James L. Patton
DEON
2006
Springer
15 years 1 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
LREC
2010
237views Education» more  LREC 2010»
14 years 11 months ago
Flexible Ontology Population from Text: The OwlExporter
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
René Witte, Ninus Khamis, Juergen Rilling
IVC
2008
74views more  IVC 2008»
14 years 9 months ago
Log-polar mapping template design: From task-level requirements to geometry parameters
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
V. Javier Traver, Filiberto Pla