2520 search results - page 433 / 504 » Model-checking behavioral programs |
MM
2005
ACM
14 years 3 months ago
2005
ACM
The “Control of Fear” project is an interactive art exhibition project to provide the general public an opportunity to experience what might occur to them if their lives were ...
MSWIM
2005
ACM
14 years 3 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
UIST
2005
ACM
14 years 3 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
VEE
2005
ACM
14 years 3 months ago
2005
ACM
Desktop distributed computing allows companies to exploit the idle cycles on pervasive desktop PC systems to increase the available computing power by orders of magnitude (10x - 1...
AIME
2005
Springer
14 years 3 months ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...