5630 search results - page 149 / 1126 » Computability in Specification |
161
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We discuss how phase-transitions may be detected in computationally hard problems in the context of anytime algorithms. Treating the computational time, value and utility functions...
118
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
: We study the output-sensitive computations of all the combinations of the edges and vertices of a simple polygon P that allow a form closure grasp with less than four point conta...
146
click to vote
COMPSEC
2006
15 years 4 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...
123
click to vote
NC
2006
15 years 4 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
150
click to vote
BIOINFORMATICS
2012
13 years 6 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...