Sciweavers

3724 search results - page 85 / 745
» Timed regular expressions
Sort
View
WIA
2000
Springer
15 years 7 months ago
Applications of Finite-State Transducers in Natural Language Processing
This paper is a review of some of the major applications of finite-state transducers in Natural Language Processing ranging from morphological analysis to finite-state parsing. The...
Lauri Karttunen
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 3 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
ISCAS
2003
IEEE
150views Hardware» more  ISCAS 2003»
15 years 9 months ago
Accurate rise time and overshoots estimation in RLC interconnects
A closed form expression for the rise time of a gate driving a distributed RLC line is introduced that is within 8% of dynamic circuit simulations for a wide range of RLC loads. I...
Noha H. Mahmoud, Yehea I. Ismail
HYBRID
2009
Springer
15 years 10 months ago
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
Radu Grosu
MICCAI
2010
Springer
15 years 2 months ago
Model-Free, Regularized, Fast, and Robust Analytical Orientation Distribution Function Estimation
High Angular Resolution Imaging (HARDI) can better explore the complex micro-structure of white matter compared to Diffusion Tensor Imaging (DTI). Orientation Distribution Functio...
Jian Cheng, Aurobrata Ghosh, Rachid Deriche, Tianz...