Sciweavers

3379 search results - page 523 / 676
» Powers of Two
Sort
View
ML
2007
ACM
104views Machine Learning» more  ML 2007»
13 years 7 months ago
A general criterion and an algorithmic framework for learning in multi-agent systems
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
Rob Powers, Yoav Shoham, Thuc Vu
PC
2007
112views Management» more  PC 2007»
13 years 7 months ago
Service address routing: a network-embedded resource management layer for cluster computing
Service address routing is introduced as a novel and powerful paradigm for the integration of resource management functions into the interconnection fabric of cluster computers. S...
Isaac D. Scherson, Daniel S. Valencia, Enrique Cau...
PVLDB
2008
77views more  PVLDB 2008»
13 years 7 months ago
Towards a streaming SQL standard
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
Namit Jain, Shailendra Mishra, Anand Srinivasan, J...
AR
2010
101views more  AR 2010»
13 years 7 months ago
Novel Energy Transfer Mechanism in a Running Quadruped Robot with One Actuator per Leg
In this work we develop a novel method, or mechanism, of energy transfer in a quadruped running robot. The robot possesses only one actuator per leg, for lower weight and greater ...
Nicholas Cherouvim, Evangelos Papadopoulos
CADE
2010
Springer
13 years 7 months ago
Monotonicity Criteria for Polynomial Interpretations over the Naturals
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
Friedrich Neurauter, Aart Middeldorp, Harald Zankl