2324 search results - page 166 / 465 » Benchmark Generation Using Domain Specific Modeling |
156
Voted
ECAI
2008
Springer
15 years 8 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...
168
click to vote
CVPR
2009
IEEE
17 years 1 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-...
181
click to vote
CC
2008
Springer
15 years 8 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...
201
Voted
SEMWEB
2009
Springer
15 years 10 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...
159
Voted
CORR
2004
Springer
15 years 6 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...