662 search results - page 130 / 133 » Formalizing Basic First Order Model Theory |
NIME
2004
Springer
14 years 25 days ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
NIPS
1998
13 years 8 months ago
1998
In this paper, we consider Markov Decision Processes (MDPs) with error states. Error states are those states entering which is undesirable or dangerous. We define the risk with re...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
AAAI
1994
13 years 8 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...