4480 search results - page 26 / 896 » Prototyping Completion with Constraints Using Computational ... |
125
click to vote
BMVC
1998
15 years 4 months ago
1998
We present a method for learning appearance models that can be used to recognise and track both 3D head pose and identities of novel subjects with continuous head movement across ...
124
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
128
click to vote
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
125
click to vote
AIIDE
2009
15 years 4 months ago
2009
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
124
click to vote
EWSN
2004
Springer
16 years 2 months ago
2004
Springer
We present a hardware and software platform for rapid prototyping of augmented sensor network systems, which may be temporarily connected to a backend infrastructure for data stora...