8555 search results - page 1423 / 1711 » Property Based Coordination |
170
click to vote
COMPGEOM
1994
ACM
15 years 11 months ago
1994
ACM
We consider the problem of a robot which has to find a target in an unknown simple polygon, based only on what it has seen so far. A street is a polygon for which the two boundary...
166
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
179
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
161
click to vote
JELIA
1990
Springer
15 years 10 months ago
1990
Springer
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many att...
135
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Digital mementos are increasingly problematic, as people acquire large amounts of digital belongings that are hard to access and often forgotten. Based on fieldwork with 10 famili...