1328 search results - page 97 / 266 » Cut-free common knowledge |
136
click to vote
AEI
2006
15 years 4 months ago
2006
This paper proposes a definition, scope and topics of construction informatics--a discipline also known as `construction IT' or `communication and information technologies in...
143
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
144
click to vote
NN
2008
Springer
15 years 3 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
153
click to vote
IJCV
2010
15 years 2 months ago
2010
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...
130
click to vote
CHI
2010
ACM
15 years 2 months ago
2010
ACM
In the field of Human-Computer Interaction, provenance refers to the history and genealogy of a document or file. Provenance helps us to understand the evolution and relationships...