Sciweavers

896 search results - page 66 / 180
» On completeness of word reversing
Sort
View
99
Voted
LREC
2008
150views Education» more  LREC 2008»
15 years 2 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 2 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...
112
Voted
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
15 years 27 days 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...
82
Voted
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 26 days 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
98
Voted
IJFCS
2006
119views more  IJFCS 2006»
15 years 23 days 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