Sciweavers

1285 search results - page 14 / 257
» An analysis of XQuery benchmarks
Sort
View
COMPSAC
2007
IEEE
13 years 11 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
ICDT
2007
ACM
112views Database» more  ICDT 2007»
14 years 1 months ago
Commutativity Analysis in XML Update Languages
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
Giorgio Ghelli, Kristoffer Høgsbro Rose, J&...
MIR
2006
ACM
229views Multimedia» more  MIR 2006»
14 years 1 months ago
Benchmarking image and video retrieval: an overview
Multimedia Information Retrieval (IR) techniques and associated systems are now numerous and justify the development of strategies and actions to objectively evaluate their capabi...
Stéphane Marchand-Maillet, Marcel Worring
COLING
2010
13 years 2 months ago
Benchmarking for syntax-based sentential inference
We propose a methodology for investigating how well NLP systems handle meaning preserving syntactic variations. We start by presenting a method for the semi automated creation of ...
Paul Bédaride, Claire Gardent
CAV
2012
Springer
198views Hardware» more  CAV 2012»
11 years 9 months ago
Termination Analysis with Algorithmic Learning
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi