Sciweavers

1679 search results - page 294 / 336
» Pointcuts as Functional Queries
Sort
View
ECAI
1992
Springer
15 years 10 months ago
A Strategy for the Computation of Conditional Answers
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
Robert Demolombe
ACMIDC
2010
15 years 10 months ago
TeddIR: tangible information retrieval for children
Despite several efforts to make search engines more childfriendly, children still have trouble using systems that require keyboard input. We present TeddIR: a system using a tangi...
Michel Jansen, Wim Bos, Paul E. van der Vet, Theo ...
ICLP
2010
Springer
15 years 10 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
ATAL
2006
Springer
15 years 9 months ago
ActorNet: an actor platform for wireless sensor networks
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...
YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, G...
CSR
2006
Springer
15 years 9 months ago
All Semi-local Longest Common Subsequences in Subquadratic Time
For two strings a, b of lengths m, n respectively, the longest common subsequence (LCS) problem consists in comparing a and b by computing the length of their LCS. In this paper, w...
Alexandre Tiskin