Sciweavers

3825 search results - page 108 / 765
» The Language of Time: A Reader
Sort
View
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
15 years 1 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
ACL
1998
14 years 11 months ago
A Stochastic Language Model using Dependency and Its Improvement by Word Clustering
In this paper, we present a stochastic language model for Japanese using dependency. The prediction unit in thismodel isallattributeof "bunsetsu". This isrepresented by ...
Shinsuke Mori, Makoto Nagao
SIGDIAL
2010
14 years 7 months ago
Comparing Spoken Language Route Instructions for Robots across Environment Representations
Spoken language interaction between humans and robots in natural environments will necessarily involve communication about space and distance. The current study examines people�...
Matthew Marge, Alexander I. Rudnicky
TIME
2009
IEEE
15 years 4 months ago
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
Carlo Zaniolo
CAV
2007
Springer
98views Hardware» more  CAV 2007»
15 years 4 months ago
UPPAAL-Tiga: Time for Playing Games!
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
Gerd Behrmann, Agnès Cougnard, Alexandre Da...