4693 search results - page 334 / 939 » Verifying Hybrid Systems |
182
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
P2P systems represent a large portion of the Internet traffic which makes the data discovery of great importance to the user and the broad Internet community. Hence, the power of ...
155
click to vote
FAST
2010
15 years 9 months ago
2010
We present Griffin, a hybrid storage device that uses a hard disk drive (HDD) as a write cache for a Solid State Device (SSD). Griffin is motivated by two observations: First, HDD...
217
click to vote
ACL
2006
2006
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
15 years 8 months ago
This paper presents a hybrid approach to question answering in the clinical domain that combines techniques from summarization and information retrieval. We tackle a frequently-oc...
197
Voted
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
184
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...