6306 search results - page 337 / 1262 » Space, Time, and the Use of Language |
203
Voted
DSMML
2004
Springer
15 years 11 months ago
2004
Springer
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...
221
click to vote
FLAIRS
2008
15 years 9 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
161
click to vote
VC
2008
15 years 7 months ago
2008
Animation authoring involves an author's interaction with a scene, resulting in varying scene complexity for a given animation sequence. In such a varying environment, detecti...
187
click to vote
SIGADA
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
239
click to vote
STOC
1996
ACM
15 years 11 months ago
1996
ACM
We use the Laplacian and power method to compute Betti numbers of simplicial complexes. This has a number of advantages over other methods, both in theory and in practice. It requ...