Sciweavers

896 search results - page 66 / 180
» On completeness of word reversing
Sort
View
LREC
2008
150views Education» more  LREC 2008»
15 years 7 months ago
Causal Relation Extraction
This paper presents a supervised method for the detection and extraction of Causal Relations from open domain text. First we give a brief outline of the definition of causation an...
Eduardo Blanco, Núria Castell, Dan I. Moldo...
IASTEDSEA
2004
15 years 7 months ago
Deriving change architectures from RCS history
As software systems evolve over a series of releases, it becomes important to know which components show repeated need for maintenance. Deterioration of a single component manifes...
Catherine Stringfellow, C. D. Amory, Dileep Potnur...
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
15 years 6 months ago
Lyapunov conditions for input-to-state stability of impulsive systems
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
João Pedro Hespanha, Daniel Liberzon, Andre...
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Efficient Dealiased Convolutions without Padding
Algorithms are developed for calculating dealiased linear convolution sums without the expense of conventional zero-padding or phase-shift techniques. For one-dimensional in-place ...
John C. Bowman, Malcolm Roberts
IJFCS
2006
119views more  IJFCS 2006»
15 years 6 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu