2631 search results - page 189 / 527 » A Practical Method for the Sparse Resultant |
192
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
187
click to vote
COR
2004
15 years 7 months ago
2004
The robust deviation shortest path problem with interval data is studied in this paper. After the formulation of the problem in mathematical terms, an exact algorithm, based on a ...
159
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider localized instantaneous sources that reside in a 2D diffusive environment. Our goal is to reconstruct the induced field from the measurements obtained by distributed s...
176
Voted
MICAI
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a method for extracting hyponyms from free text. In particular it explores two main matters. On the one hand, the possibility of reaching favorable results usi...
153
click to vote
HAID
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, recent developments of the HFVE vision-substitution system are described; and the initial results of a trial of the “Silooet” software are reported. The system u...