Sciweavers

2433 search results - page 270 / 487
» Power laws in software
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
Macro Programming through Bayesian Networks: Distributed Inference and Anomaly Detection
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...
Marco Mamei, Radhika Nagpal
FOSSACS
2010
Springer
16 years 1 months ago
Toward a Compositional Theory of Leftist Grammars and Transformations
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
Pierre Chambart, Ph. Schnoebelen
IOLTS
2008
IEEE
91views Hardware» more  IOLTS 2008»
16 years 1 months ago
Physical Demonstration of Polymorphic Self-Checking Circuits
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
Richard Ruzicka, Lukás Sekanina, Roman Prok...
ICRA
2007
IEEE
111views Robotics» more  ICRA 2007»
16 years 28 days ago
Using COTS to Construct a High Performance Robot Arm
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
Christian Smith, Henrik I. Christensen
ATAL
2005
Springer
16 years 5 days ago
A drosophila for computational dialectics
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
Simon Wells, Chris Reed