3082 search results - page 415 / 617 » Deviation Analysis: A New Use of Model Checking |
198
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
236
click to vote
PODS
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we present a new cost model for nearest neighbor search in high-dimensional data space. We first analyze different nearest neighbor algorithms, present a generaliza...
168
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
210
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
163
click to vote
CVPR
2004
IEEE
2004
IEEE
Effect of Colorspace Transformation, the Illuminance Component, and Color Modeling on Skin Detection
16 years 8 months ago
Skin detection is an important preliminary process in human motion analysis. It is commonly performed in three steps: transforming the pixel color to a non-RGB colorspace, droppin...