4584 search results - page 556 / 917 » interact 2007 |
161
click to vote
TABLEAUX
2007
Springer
16 years 28 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
146
click to vote
WDAG
2007
Springer
16 years 28 days ago
2007
Springer
We describe and analyze a 3-state one-way population protocol to compute approximate majority in the model in which pairs of agents are drawn uniformly at random to interact. Given...
179
Voted
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
186
click to vote
SCA
2007
15 years 9 months ago
2007
Standing is a fundamental skill mastered by humans and animals alike. Although easy for adults, it requires careful and deliberate manipulation of contact forces. The variation in...
189
click to vote
SGP
2004
15 years 9 months ago
2004
Surface editing operations commonly require geometric details of the surface to be preserved as much as possible. We argue that geometric detail is an intrinsic property of a surf...