4502 search results - page 262 / 901 » Regular Model Checking |
149
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper, we propose a two-level integrated model for accurate face shape alignment. At the low level, the shape is split into a set of line segments which serve as the nodes ...
137
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Support vector machine (SVM) has appeared as a powerful tool for forecasting forex market and demonstrated better performance over other methods, e.g., neural network or ARIMA bas...
196
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes discriminative language modeling for a large vocabulary speech recognition task. We contrast two parameter estimation methods: the perceptron algorithm, and a...
138
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a numerical framework for Fluorescence Diffuse Optical Tomography (fDOT) that combines a forward model together with an iterative reconstruction procedure. Using rapid ...
151
Voted
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...