2324 search results - page 166 / 465 » Benchmark Generation Using Domain Specific Modeling |
113
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
121
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We present a system for the estimation of unconstrained
3D human upper body movement from multiple cameras.
Its main novelty lies in the integration of three components:
single-...
136
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
140
Voted
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
: Data Provenance refers to the “origin”, “lineage”, and “source” of data. In this work, we examine provenance from a semantics perspective and present the W7 model, an...
115
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...