2903 search results - page 268 / 581 » On the univalence of an integral operator |
159
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
161
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
134
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
194
click to vote
WSNA
2003
ACM
15 years 12 months ago
2003
ACM
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded embedded operating system integrated with a general-purpose single-board hardwar...
194
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This work investigates the integration of heterogeneous resources, such as data and programs, in a fully distributed peer-to-peer mediation architecture. The challenge in making ...