9067 search results - page 422 / 1814 » Adaptive Model Checking |
247
click to vote
WOSP
1998
ACM
15 years 11 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
203
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
Suppose that we are given a set of n elements d of which are “defective”. A group test can check for any subset, called a pool, whether it contains a defective. It is well know...
180
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
185
Voted
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce an online adaptive algorithm for learning gesture models. By learning gesture models in an online fashion, the gesture recognition process is made more robust, and th...
183
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...