209 search results - page 4 / 42 » Real-world programming |
CADE
2009
Springer
16 years 8 days ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
89
Voted
BIRTHDAY
2000
Springer
15 years 4 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
110
click to vote
AAAI
2006
15 years 1 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
102
Voted
UCS
2007
Springer
2007
Springer
Instant Learning Sound Sensor: Flexible Real-World Event Recognition System for Ubiquitous Computing
15 years 5 months ago
We propose a smart sound sensor for building context-aware systems that instantly learn and detect events from various kinds of everyday sounds and environmental noise by using sma...
BIBM
2007
IEEE
15 years 6 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...