2533 search results - page 410 / 507 » Supporting Generalized Context Interactions |
180
click to vote
CORR
2012
Springer
14 years 20 days ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
141
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
152
Voted
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— We investigate the spatial distribution of wireless nodes that can transport a given volume of traffic in a sensor network, while requiring the minimum number of wireless node...
168
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We study bargaining games between suppliers and manufacturers in a network context. Agents wish to enter into contracts in order to generate surplus which then must be divided amon...
193
click to vote
EUMAS
2006
15 years 6 months ago
2006
We present a general Multi-Agent System framework for distributed data mining based on a Peer-toPeer model. The framework adopts message-based asynchronous communication and a dyn...