Sciweavers

2517 search results - page 90 / 504
» Specifying Weak Sets
Sort
View
PODS
2005
ACM
147views Database» more  PODS 2005»
16 years 5 months ago
Peer data exchange
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
Ariel Fuxman, Phokion G. Kolaitis, Renée J....
TROB
2008
121views more  TROB 2008»
15 years 4 months ago
A Relational Positioning Methodology for Robot Task Specification and Execution
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...
Adolfo Rodriguez, Luis Basañez, Enric Celay...
ICML
2001
IEEE
16 years 6 months ago
Some Theoretical Aspects of Boosting in the Presence of Noisy Data
This is a survey of some theoretical results on boosting obtained from an analogous treatment of some regression and classi cation boosting algorithms. Some related papers include...
Wenxin Jiang
ACSD
2009
IEEE
149views Hardware» more  ACSD 2009»
16 years 6 days ago
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
ACISICIS
2008
IEEE
15 years 12 months ago
Lessons Learned from Implementing WS-Coordination and WS-AtomicTransaction
This paper presents the design and implementation of a transaction service that complies with the WS-Coordination and WS-AtomicTransaction standards. Such service builds upon XAct...
Ivan Silva Neto, Francisco Reverbel