3167 search results - page 483 / 634 » Blog search engines |
IJMSO
2007
13 years 8 months ago
2007
: Digital libraries are invaluable repositories of information. However, in many situations, their size makes it difficult to access the desired resource. In this paper, we present...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
ISCI
2007
13 years 8 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
LRE
2007
13 years 8 months ago
2007
The AMI Meeting Corpus contains 100 hours of meetings captured using many synchronized recording devices, and is designed to support work in speech and video processing, language ...
CN
2000
13 years 8 months ago
2000
How to rank Web resources is critical to Web Resource Discovery (Search Engine). This paper not only points out the weakness of current approaches, but also presents in-depth anal...