Sciweavers

3481 search results - page 234 / 697
» Exploration in Relational Worlds
Sort
View
PODC
1990
ACM
14 years 10 days ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
GRAPHITE
2007
ACM
14 years 5 days ago
A shape hierarchy for 3D modelling from video
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...
Anton van den Hengel, Anthony R. Dick, Thorsten Th...
ISER
2000
Springer
111views Robotics» more  ISER 2000»
13 years 12 months ago
An Underwater Vehicle Monitoring System and Its Sensors
: This paper describes a virtual collaborative world simulator, DVECS (Distributed Virtual Environment Collaborative Simulator), for underwater robots and its underwater vehicle, S...
Song K. Choi, O. T. Easterday
NIL
1991
13 years 11 months ago
Deduction with Supernormal Defaults
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
Stefan Brass
LREC
2010
189views Education» more  LREC 2010»
13 years 9 months ago
A Database of Narrative Schemas
This paper describes a new language resource of events and semantic roles that characterize real-world situations. Narrative schemas contain sets of related events (edit and publi...
Nathanael Chambers, Daniel Jurafsky