6020 search results - page 770 / 1204 » A New Approach to Model Counting |
189
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Knowledge discovery from temporal, spatial and spatiotemporal data is critical for climate change science and climate impacts. Climate statistics is a mature area. However, recent...
190
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
159
click to vote
CLUSTER
2006
IEEE
16 years 25 days ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
175
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
168
click to vote
RAID
2005
Springer
16 years 8 days ago
2005
Springer
New features of the PAYL anomalous payload detection sensor are demonstrated to accurately detect and generate signatures for zero-day worms. Experimental evidence demonstrates tha...