Sciweavers

24 search results - page 2 / 5
» So Far (Schematically) yet So Near (Semantically)
Sort
View
AIPS
2007
13 years 7 months ago
Temporally-Expressive Planning as Constraint Satisfaction Problems
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
Yuxiao Hu
RV
2007
Springer
100views Hardware» more  RV 2007»
13 years 11 months ago
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
ICDE
2006
IEEE
190views Database» more  ICDE 2006»
13 years 11 months ago
Ant Algorithms for Search in Unstructured Peer-to-Peer Networks
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is yet known about its applicability to the task of...
Elke Michlmayr
I3
2007
13 years 6 months ago
OKKAM: Enabling a Web of Entities
Already in the early 14th century, the philosopher William of Ockham created the philosophical principle known as Ockham’s Razor, which can be translated from Latin as ”entiti...
Paolo Bouquet, Heiko Stoermer, Daniel Giacomuzzi
ICFP
2006
ACM
14 years 5 months ago
The missing link: dynamic components for ML
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
Andreas Rossberg