6693 search results - page 904 / 1339 » Methods of Automatic Algorithm Generation |
146
click to vote
DEEC
2007
IEEE
15 years 11 months ago
2007
IEEE
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is "hidden" behind the query forms of onli...
142
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
117
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
158
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
240
click to vote
IBPRIA
2007
Springer
15 years 11 months ago
2007
Springer
Carotid atherosclerosis is the most common life-threatening neurological disease and therefore an accurate assessment of atheromatous plaques is clinically important. Several studi...