6020 search results - page 298 / 1204 » A New Approach to Model Counting |
177
click to vote
ICSOC
2005
Springer
16 years 6 days ago
2005
Springer
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
176
Voted
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Reconstruction of 3D models from range images usually focuses on complex objects completely contained in the field of view. Using range images to reconstruct a whole environment ...
176
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
154
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
195
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...