8311 search results - page 1361 / 1663 » Phase-Based Information Retrieval |
161
click to vote
LATIN
2004
Springer
15 years 10 months 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...
132
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 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...
146
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 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...
159
click to vote
EUROMICRO
2003
IEEE
15 years 10 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...
145
Voted
HLK
2003
IEEE
15 years 10 months ago
2003
IEEE
Deformable 3–D models can be represented either as explicit or implicit surfaces. Explicit surfaces, such as triangulations or wire-frame models, are widely accepted in the Comp...