112 search results - page 13 / 23 » Efficient execution in an automated reasoning environment |
108
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
125
click to vote
ICLP
1998
Springer
15 years 5 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
TIME
1997
IEEE
15 years 5 months ago
1997
IEEE
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
111
click to vote
JAPLL
2008
15 years 1 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
220
click to vote
GIS
2008
ACM
16 years 2 months ago
2008
ACM
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...