5550 search results - page 112 / 1110 » Different Approaches to Proof Systems |
203
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
174
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
171
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present in this paper a supervised approach for automatic detection of micro-calcifications. The system is based on learning the different morphology of the micro-calcification...
187
click to vote
COMCOM
2006
15 years 6 months ago
2006
As more business applications have become web enabled, the web server architecture has evolved to provide performance isolation, service differentiation, and QoS guarantees. Vario...
188
click to vote
ISORC
2007
IEEE
16 years 20 days ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...