Sciweavers

4066 search results - page 252 / 814
» Almost Complete Sets
Sort
View
BIOID
2008
258views Biometrics» more  BIOID 2008»
15 years 8 months ago
3D Face Recognition Benchmarks on the Bosphorus Database with Focus on Facial Expressions
Abstract. This paper presents an evaluation of several 3D face recognizers on the Bosphorus database which was gathered for studies on expression and pose invariant face analysis. ...
Nese Alyüz, Berk Gökberk, Hamdi Dibeklio...
BPM
2008
Springer
185views Business» more  BPM 2008»
15 years 8 months ago
Applying Patterns during Business Process Modeling
Although the business process community has put a major emphasis on patterns, notably the famous workflow patterns, only limited support for using patterns in today's business...
Thomas Gschwind, Jana Koehler, Janette Wong
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 8 months ago
Left invertibility of discrete systems with finite inputs and quantized output
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 8 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
CIE
2005
Springer
15 years 8 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian