9425 search results - page 450 / 1885 » Some Notes on Models and Modelling |
168
Voted
JCIT
2010
14 years 12 months ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
170
Voted
SGAI
2010
Springer
14 years 11 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
150
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...
133
click to vote
ICPR
2000
IEEE
16 years 6 months ago
2000
IEEE
The factorization method, which allows us to reconstruct the motion of the camera and shape of the object simultaneously from multiple images, provides high stability in numerical...
147
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...