Sciweavers

3475 search results - page 542 / 695
» A DEA approach for model combination
Sort
View
GLVLSI
2010
IEEE
209views VLSI» more  GLVLSI 2010»
15 years 11 months ago
Enhancing debugging of multiple missing control errors in reversible logic
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
Jean Christoph Jung, Stefan Frehse, Robert Wille, ...
CA
2002
IEEE
15 years 11 months ago
Polyhedral Object Detection and Pose Estimation for Augmented Reality Applications
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
Ali Shahrokni, Luca Vacchetti, Vincent Lepetit, Pa...
CCGRID
2002
IEEE
15 years 11 months ago
Using TOP-C and AMPIC to Port Large Parallel Applications to the Computational Grid
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
Gene Cooperman, Henri Casanova, Jim Hayes, Thomas ...
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 11 months ago
Serviceflow Management: Caring for the Citizen's Concern in Designing E-government Transaction Processes
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...
Ralf Klischewski, Ingrid Wetzel
CONCUR
2001
Springer
15 years 11 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...