10048 search results - page 265 / 2010 » The Structure and Performance of Interpreters |
196
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
201
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics, and graphs...
210
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
221
click to vote
ECIS
2001
15 years 8 months ago
2001
Academic publishing faces major challenges such as increasing costs and a reduced subscription base. Electronic publishing promises benefits and solutions to these and other chall...
186
click to vote
NAACL
2001
15 years 8 months ago
2001
In human sentence processing, cognitive load can be defined many ways. This report considers a definition of cognitive load in terms of the total probability of structural options...