Sciweavers

1631 search results - page 10 / 327
» Observing Functional Logic Computations
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
13 years 9 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
BIRTHDAY
2006
Springer
14 years 1 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
COLING
2010
13 years 4 months ago
Controlling Listening-oriented Dialogue using Partially Observable Markov Decision Processes
This paper investigates how to automatically create a dialogue control component of a listening agent to reduce the current high cost of manually creating such components. We coll...
Toyomi Meguro, Ryuichiro Higashinaka, Yasuhiro Min...
DAC
1993
ACM
14 years 1 months ago
Espresso-Signature: A New Exact Minimizer for Logic Functions
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. B...
ICRA
2010
IEEE
147views Robotics» more  ICRA 2010»
13 years 8 months ago
Learning physically-instantiated game play through visual observation
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...
Andrei Barbu, Siddharth Narayanaswamy, Jeffrey Mar...