Sciweavers

5962 search results - page 638 / 1193
» Working with Patterns and Code
Sort
View
TABLEAUX
2009
Springer
16 years 1 months ago
A Schemata Calculus for Propositional Logic
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
CEC
2008
IEEE
16 years 1 months ago
A genetic algorithm for optimizing hierarchical menus
— Hierarchical menus are widely used as a standard user interface in modern applications that use GUIs. The performance of the menu depends on many factors: structure, layout, co...
Shouichi Matsui, Seiji Yamada
ICARCV
2008
IEEE
197views Robotics» more  ICARCV 2008»
16 years 1 months ago
A new algorithm for calibrating a combined camera and IMU sensor unit
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
ICIW
2008
IEEE
16 years 1 months ago
Providing Decision Capabilities to Coordinators in Distributed Processes
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
Michael Von Riegen, Martin Husemann, Norbert Ritte...
ICPR
2008
IEEE
16 years 1 months ago
A comparative evaluation of Average Face on holistic and local face recognition approaches
This study focuses on a recent paper "100% Accuracy in Automatic Face Recognition" published on Science, in which an "Average Face" is proposed and claimed to ...
Sanqiang Zhao, Xiaozheng Zhang, Yongsheng Gao