Sciweavers

3954 search results - page 441 / 791
» Image-based Model Completion
Sort
View
MEMBRANE
2004
Springer
15 years 10 months ago
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
Vincenzo Manca, Luca Bianco, Federico Fontana
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
15 years 10 months ago
The Birth of An E-Business System Architecture: Conflicts, Compromises, and Gaps in Methods
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
Kari Smolander
ICRA
2003
IEEE
126views Robotics» more  ICRA 2003»
15 years 10 months ago
Real-time tracking and pose estimation for industrial objects using geometric features
— This paper presents a fast tracking algorithm capable of estimating the complete pose (6DOF) of an industrial object by using its circular-shape features. Since the algorithm i...
Youngrock Yoon, Guilherme N. DeSouza, Avinash C. K...
IV
2003
IEEE
90views Visualization» more  IV 2003»
15 years 10 months ago
Visual User Interface for PDAs
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
Mikael Jern, D. Ricknäs, F. Stam, Robert Trel...
LICS
2003
IEEE
15 years 10 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin