Sciweavers

383 search results - page 19 / 77
» The Study of 3D-from-2D Using Elimination
Sort
View
FUIN
2006
160views more  FUIN 2006»
13 years 10 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 5 months ago
On the Complexity of Solving a Bivariate Polynomial System
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
Pavel Emeliyanenko, Michael Sagraloff
CORR
2008
Springer
65views Education» more  CORR 2008»
13 years 9 months ago
Solving functional reliability issue for an optical electrostatic switch
In this paper, we report the advantage of using AC actuating signal for driving MEMS actuators instead of DC voltages. The study is based upon micro mirror devices used in digital...
Henri Camon, C. Ganibal, N. Rapahoz, M. Trzmiel, C...
ICSE
2007
IEEE-ACM
14 years 10 months ago
Tracking Code Clones in Evolving Software
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
Ekwa Duala-Ekoko, Martin P. Robillard
LPNMR
2009
Springer
14 years 4 months ago
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
Jörg Pührer, Hans Tompits