2364 search results - page 216 / 473 » An Engine for Computing Well-Founded Models |
175
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
The innovations and improvements in digital imaging sensors and scanners, computer modeling, haptic equipments and e-learning technology, as well as the availability of many powerf...
127
click to vote
CGF
2004
15 years 4 months ago
2004
Individually visible scratches, also called isolated scratches, are very common in real world surfaces. Although their microgeometry is not visible, they are individually percepti...
173
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
125
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
215
click to vote
APSEC
2010
IEEE
14 years 8 months ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...