293 search results - page 14 / 59 » Computing Stable Models by Using the ATMS |
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We describe a novel approach for 3D ear biometrics using video. A series of frames are extracted from a video clip and the region-of-interest (ROI) in each frame is independently ...
SARA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
DAC
1997
ACM
14 years 24 days ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
QUESTA
1998
13 years 8 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
BMCV
2000
Springer
14 years 29 days ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...