8301 search results - page 1459 / 1661 » Risk-Aware Information Retrieval |
170
click to vote
LATIN
2004
Springer
16 years 50 min ago
2004
Springer
We consider the problem of protein folding in the HP model on the 3D square lattice. This problem is combinatorially equivalent to folding a string of 0’s and 1’s so that the s...
193
click to vote
LATIN
2004
Springer
16 years 49 min ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
163
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents results from a desktop experiment in which the participants’ route selection behavior in an unknown street network is investigated. The participants were pres...
184
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
195
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...