1809 search results - page 153 / 362 » Software Model Checking Using Linear Constraints |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
BMCBI
2004
13 years 9 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In factorization approaches to nonrigid structure from
motion, the 3D shape of a deforming object is usually modeled
as a linear combination of a small number of basis
shapes. T...
SCOPES
2004
Springer
14 years 2 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...