1054 search results - page 132 / 211 » From a Verified Kernel towards Verified Systems |
151
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—A text filtering system monitors a stream of incoming documents, to identify those that match the interest profiles of its users. The user interests are registered at ...
153
click to vote
ROBIO
2006
IEEE
16 years 8 days ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
145
click to vote
SSPR
2004
Springer
15 years 11 months ago
2004
Springer
Off-line handwritten numeral recognition is a very difficult task. It is hard to achieve high recognition results using a single set of features and a single classifier, since hand...
170
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A biometric authentication system operates by acquiring biometric data from a user and comparing it against the template data stored in a database in order to identify a ...
182
click to vote
KI
1990
Springer
15 years 10 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...