1536 search results - page 60 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
NDJFL
2002
14 years 9 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...
172
click to vote
SPAA
2012
ACM
13 years 4 days 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 ...
GRAPHICSINTERFACE
2001
14 years 11 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...
WEBDB
2010
Springer
15 years 2 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�...
133
click to vote
ECCV
2004
Springer
15 years 11 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...