1658 search results - page 264 / 332 » Implementing Bit-addressing with Specialization |
JMIV
2007
13 years 10 months ago
2007
There are many watershed transform algorithms in literature but most of them do not exactly correspond to their respective definition. The solution given by such algorithms depend...
ICDE
2002
IEEE
2002
IEEE
Design and Evaluation of Alternative Selection Placement Strategies in Optimizing Continuous Queries
14 years 11 months ago
In this paper, we design and evaluate alternative selection placement strategies for optimizing a very large number of continuous queries in an Internet environment. Two grouping ...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....