3505 search results - page 211 / 701 » Information Theory and the IrisCode |
144
click to vote
HT
2004
ACM
16 years 1 days ago
2004
ACM
In this paper we identify a common aim between ubiquitous computing and hypertext systems: the desire to present navigable, located and structured information. We propose that exi...
147
click to vote
ECIS
2001
15 years 8 months ago
2001
The purpose of this paper is to investigate the distinctive characteristics of the competitive mechanism in the digital economy and information product markets. Specific propertie...
161
click to vote
DLOG
1997
15 years 8 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
146
click to vote
COGSCI
2011
15 years 1 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...
160
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...