Sciweavers

5325 search results - page 345 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
POPL
2008
ACM
16 years 7 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
150
Voted
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti
EMSOFT
2005
Springer
16 years 9 days ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
P2P
2003
IEEE
100views Communications» more  P2P 2003»
16 years 1 days ago
Identity Crisis: Anonymity vs. Reputation in P2P Systems
The effectiveness of reputation systems for peer-to-peer resource-sharing networks is largely dependent on the reliability of the identities used by peers in the network. Much deb...
Sergio Marti, Hector Garcia-Molina
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 6 months ago
Triangular Decomposition of Semi-algebraic Systems
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations o...
Changbo Chen, James H. Davenport, John P. May, Mar...