12774 search results - page 346 / 2555 » A Framework for Proof Systems |
212
click to vote
WORDS
2005
IEEE
16 years 12 days ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...
182
click to vote
ISLPED
2003
ACM
16 years 2 days ago
2003
ACM
Energy constrained systems such as sensor networks can increase their usable lifetimes by extracting energy from their environment. However, environmental energy will typically no...
179
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
171
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the ...
164
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a new approach to cope with unknown redundant systems. For this we present i) an online algorithm that learns general input-output restrictions and, ii) a method tha...