Sciweavers

1790 search results - page 348 / 358
» Automatic Keyword Extraction Using Domain Knowledge
Sort
View
KBSE
2005
IEEE
15 years 5 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
DAC
2008
ACM
16 years 20 days ago
Automated hardware-independent scenario identification
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
Juan Hamers, Lieven Eeckhout
WWW
2004
ACM
16 years 10 days ago
Through different eyes: assessing multiple conceptual views for querying web services
We present enhancements for UDDI / DAML-S registries allowing cooperative discovery and selection of Web services with a focus on personalization. To find the most useful service ...
Wolf-Tilo Balke, Matthias Wagner
KDD
2009
ACM
198views Data Mining» more  KDD 2009»
16 years 6 days ago
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data
All Netflix Prize algorithms proposed so far are prohibitively costly for large-scale production systems. In this paper, we describe an efficient dataflow implementation of a coll...
Srivatsava Daruru, Nena M. Marin, Matt Walker, Joy...
EDBT
2009
ACM
208views Database» more  EDBT 2009»
15 years 6 months ago
Flexible and efficient querying and ranking on hyperlinked data sources
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
Ramakrishna Varadarajan, Vagelis Hristidis, Louiqa...