1536 search results - page 60 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
NDJFL
2002
15 years 1 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
212
click to vote
SPAA
2012
ACM
13 years 4 months ago
2012
ACM
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...
109
click to vote
GRAPHICSINTERFACE
2001
15 years 3 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
133
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The transition of search engine users’ intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how di�...
173
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
This paper presents a biologically motivated model for low and mid-level vision tasks and its interpretation in computer vision terms. Initially we briefly present the biologically...