2230 search results - page 218 / 446 » Reformulating Constraint Models Using Input Data |
136
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
125
click to vote
ICCV
2009
IEEE
15 years 25 days ago
2009
IEEE
This paper proposes a learnt data-driven approach for accurate, real-time tracking of facial features using only intensity information. Constraints such as a-priori shape models o...
116
click to vote
ICPP
2007
IEEE
15 years 9 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
128
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
116
click to vote
FODO
1993
Springer
15 years 7 months ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...