Sciweavers

3022 search results - page 217 / 605
» From plans to planning: the case of nursing plans
Sort
View
GIS
2010
ACM
15 years 5 months ago
A case for time-dependent shortest path computation in spatial networks
The problem of point-to-point shortest path computation in spatial networks is extensively studied with many approaches proposed to speed-up the computation. Most of the existing ...
Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Sh...
EUSFLAT
2007
468views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Soft Computing Robot Navigation Case Study
This contribution presents Soft Computing Robot Navigation for mobile robot SCORCAS, a Case Study. The Navigation uses fuzzy logic experienced on mobile robot systems. Fuzzy logic...
Dimitar Vassilev Lakov, Margarita Raykova Saraliev...
CL
2000
Springer
15 years 11 months ago
Logic Program Synthesis in a Higher-Order Setting
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
David Lacey, Julian Richardson, Alan Smaill
LPNMR
1999
Springer
15 years 11 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
SIGMOD
1997
ACM
91views Database» more  SIGMOD 1997»
15 years 10 months ago
On Saying "Enough Already!" in SQL
In this paper, we study a simple SQL extension that enables query writers to explicitly limit the cardinality of a query result. We examine its impact on the query optimization an...
Michael J. Carey, Donald Kossmann