6120 search results - page 1001 / 1224 » The Power of Linear Functions |
127
click to vote
ICCAD
2001
IEEE
16 years 26 days ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
201
click to vote
SOFSEM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
192
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Many vision applications have been formulated as Markov Random Field (MRF) problems. Although many of them are discrete labeling problems, continuous formulation often achieves gre...
115
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
127
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
We describe the design, deployment, and experience with a wireless sensor network for high-fidelity monitoring of electrical usage in buildings. A network of 38 mote-class AC met...