3238 search results - page 281 / 648 » On the Computational Interpretation of Negation |
175
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
: We follow an empirical approach from data quality toward text quality, where the expectations of the consumer, human or machine, take the centre stage. We try to obtain numerical...
156
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
—Each processor in a uniform multiprocessor machine is characterized by a speed or computing capacity, with the interpretation that a job executing on a processor with speed s fo...
144
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
202
click to vote
NPIV
1999
ACM
15 years 11 months ago
1999
ACM
An image browser for the exploration of image collections is described. The approach taken is to utilize VR input devices to develop more intuitive interaction metaphors that allo...
179
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
Specularities on surfaces with tangential hairs or grooves are readily observable in nature. Examples of such phenomena are the arched or looped highlights observed on horses and ...