1188 search results - page 62 / 238 » Testing Semantics: Connecting Processes and Process Logics |
144
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
175
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
158
Voted
CVPR
2005
IEEE
15 years 9 months ago
2005
IEEE
In this a novel supervised learning method is proposed to map low-level visualfeatures to high-level semantic conceptsfor region-based image retrieval. The contributions of thispa...
127
Voted
RULEML
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
136
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...