4480 search results - page 75 / 896 » Prototyping Completion with Constraints Using Computational ... |
102
Voted
AAAI
2008
15 years 5 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
231
Voted
CGF
2008
15 years 3 months ago
2008
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
125
Voted
CHI
2004
ACM
16 years 3 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
119
Voted
COLING
2002
15 years 3 months ago
2002
We present in this paper a technique allowing to choose the parsing granularity within the same approach relying on a constraint-based formalism. Its main advantage lies in the fa...
136
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...