384 search results - page 60 / 77 » Automatic framework generation for hard real-time applicatio... |
FPGA
2007
ACM
14 years 4 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
ERSHOV
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
We describe an algorithm for automatically finding correspondences from face video sequences. This method is useful to many applications such as face tracking, face modeling and ...
AVSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...