Sciweavers

602 search results - page 66 / 121
» Recursive in A Generic Real
Sort
View
CORR
2010
Springer
159views Education» more  CORR 2010»
13 years 7 months ago
An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
Eric Berberich, Pavel Emeliyanenko, Michael Sagral...
ENDM
2000
174views more  ENDM 2000»
13 years 7 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
EKAW
2010
Springer
13 years 5 months ago
Temporal Knowledge Acquisition and Modeling
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
Cyril Faucher, Charles Teissèdre, Jean-Yves...
ICIP
2008
IEEE
14 years 9 months ago
MPEG video object segmentation under camera motion and multimodal backgrounds
This paper starts from a state-of-the-art efficient approach to real-time video object segmentation in the MPEG domain. It then describes several techniques to extend the algorith...
Marcos Escudero, Fabricio Tiburzi, Jesús Be...
NCA
2008
IEEE
14 years 2 months ago
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...
Giuliana Santos Veronese, Miguel Correia, Lau Cheu...