Sciweavers

1827 search results - page 194 / 366
» Automatic thesaurus construction
Sort
View
ICCD
2006
IEEE
123views Hardware» more  ICCD 2006»
16 years 1 months ago
Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
Marc Boule, Jean-Samuel Chenard, Zeljko Zilic
SOFSEM
2009
Springer
16 years 1 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
CICLING
2010
Springer
15 years 11 months ago
Quantitative Evaluation of Grammaticality of Summaries
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. While the quality of a summary is de...
Ravikiran Vadlapudi, Rahul Katragadda
TASE
2009
IEEE
15 years 11 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
WIAMIS
2009
IEEE
15 years 11 months ago
Towards fully un-supervised methods for generating object detection classifiers using social data
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...
Spiros Nikolopoulos, Elisavet Chatzilari, Eirini G...