4488 search results - page 211 / 898 » Properties of NP-Complete Sets |
318
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
189
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
130
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
211
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The development of text mining systems that annotate biological entities with their properties using scientific literature is an important recent research topic. These...
156
click to vote
TSP
2010
15 years 13 days ago
2010
We present the Recursive Least Squares Dictionary Learning Algorithm, RLSDLA, which can be used for learning overcomplete dictionaries for sparse signal representation. Most Dicti...