1664 search results - page 128 / 333 » Towards Partial Reasoning |
116
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
CHI
2005
ACM
16 years 1 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...
115
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
103
Voted
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
110
Voted
ESSLLI
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...