5034 search results - page 663 / 1007 » A Content-Centric Development Process Model |
185
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
205
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
212
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...
155
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
152
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...