912 search results - page 131 / 183 » Abstract Saturation-Based Inference |
114
click to vote
ICFP
2007
ACM
15 years 12 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
118
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
118
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
114
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Dimensionality reduction is an essential aspect of visual processing. Traditionally, linear dimensionality reduction techniques such as principle components analysis have...
189
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...