3799 search results - page 730 / 760 » An Engineering Approach to Formal Methods |
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Social networks can be used to model social interactions between individuals. In many circumstances, not all interactions between individuals are observed. In such cases...
ERCIMDL
2009
Springer
14 years 2 months ago
2009
Springer
In this demonstration we will examine the effectiveness of Geographic Information Retrieval (GIR) methods in digital library interfaces. We will show how various types of informat...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
This paper is concerned with automatic extraction of titles from the bodies of HTML documents. Titles of HTML documents should be correctly defined in the title fields; however, i...