Sciweavers

2920 search results - page 56 / 584
» Finite information logic
Sort
View
ANLP
1997
106views more  ANLP 1997»
13 years 11 months ago
Incremental Finite-State Parsing
This paper describes a new finite-state shallow parser. It merges constructive and reductionist approaches within a highly modular architecture. Syntactic information is added at ...
Salah Ait-Mokhtar, Jean-Pierre Chanod
IMR
2004
Springer
14 years 3 months ago
Inverse Pre-Deformation of Finite Element Mesh for Large Deformation Analysis
In the finite element analysis that deals with large deformation, the process usually produces distorted elements at the later stages of the analysis. These distorted elements lea...
Arbtip Dheeravongkit, Kenji Shimada
FGR
2000
IEEE
159views Biometrics» more  FGR 2000»
14 years 2 months ago
Gesture Modeling and Recognition Using Finite State Machines
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
Pengyu Hong, Thomas S. Huang, Matthew Turk
COLING
2000
13 years 11 months ago
Japanese Dependency Analysis using a Deterministic Finite State Transducer
A deterministic finite state transducer is a fast device for analyzing strings. It takes O(n) time to analyze a string of length n. In this paper, an application of this technique...
Satoshi Sekine
CADE
1990
Springer
14 years 2 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore