Sciweavers

3656 search results - page 265 / 732
» Compact Location Problems
Sort
View
ICTAI
2008
IEEE
16 years 28 days ago
A General Technique for Plan Repair
In real world we have to deal with changing situations which may partially or entirely invalidate an executable plan. Current strategies for plan repair are basically aimed at sol...
Marlene Arangú, Antonio Garrido, Eva Onaind...
ICDT
2005
ACM
133views Database» more  ICDT 2005»
16 years 1 days ago
Nonmaterialized Motion Information in Transport Networks
The traditional way of representing motion in 3D space-time uses a trajectory, i.e. a sequence of (x,y,t) points. Such a trajectory may be produced by periodic sampling of a Global...
Hu Cao, Ouri Wolfson
SOFSEM
2004
Springer
15 years 12 months ago
Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...
Martin Kavalec, Alexander Maedche, Vojtech Sv&aacu...
SPIN
2001
Springer
15 years 11 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
179
Voted
DARS
2000
Springer
141views Robotics» more  DARS 2000»
15 years 11 months ago
Cooperation of Multiple Robots to Solve Maze Tasks
This paper discusses the use of cooperation and distributed intelligence within a robot team to solve a maze problem in which a set of ordered control point tasks has to be perform...
C. R. F. Costa, Eliana P. L. Aude