3738 search results - page 172 / 748 » Parametrized Logic Programming |
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
OPODIS
2003
13 years 9 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
INTERSENSE
2006
ACM
14 years 2 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
ML
2006
ACM
13 years 8 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...