2783 search results - page 157 / 557 » The Nature Of Near-Synonymic Relations |
115
click to vote
EATCS
2000
15 years 1 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
105
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
107
click to vote
IJCV
2000
15 years 1 months ago
2000
Several characteristics of the human oculomotor system have been suggested to be useful also for active vision mechanisms. Among others, foveal vision and a tracking scheme based o...
144
click to vote
JASIS
2000
15 years 1 months ago
2000
To aid designers of digital library interfaces, we present a framework for the design of information representations in terms of previews and overviews. Previews and overviews are...
101
click to vote
CAGD
1998
15 years 1 months ago
1998
Laguerre geometry provides a simple approach to the design of rational curves and surfaces with rational offsets. These so-called PH curves and PN surfaces can be constructed from...