3742 search results - page 439 / 749 » On the Use of Formal Techniques for Validation |
167
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents two sentence retrieval methods. We adopt the task definition done in the TREC Novelty Track: sentence retrieval consists in the extraction of the relevant sente...
199
click to vote
WSC
1997
15 years 8 months ago
1997
Collision awareness (CA) multiple access networks include the carrier sense multiple access (CSMA), ALOHA, and Ethernet networks. In order to maximize throughput with minimum netw...
143
click to vote
LISA
1994
15 years 8 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
229
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a novel method for optimizing sliding window based continuous queries. We deal with two categories of aggregation operations: stepwise aggregation (e.g. COUNT) ...
160
click to vote
AAI
2007
15 years 6 months ago
2007
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...