2412 search results - page 178 / 483 » Which Problems Have Strongly Exponential Complexity |
103
Voted
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Textual-case based reasoning (TCBR) systems where the problem and solution are in free text form are hard to evaluate. In the absence of class information, domain experts are neede...
156
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
152
Voted
GW
1999
Springer
15 years 7 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...
112
Voted
TSP
2010
14 years 10 months ago
2010
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
171
Voted
ISVC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an active surface model designed for the segmentation of Drosophila Schneider cell nuclei and nucleoli from wide-field microscopic data. The imaging technique...