4299 search results - page 584 / 860 » Concurrent Test Generation |
185
click to vote
ICCBR
2010
Springer
15 years 11 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
181
click to vote
DBKDA
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a buffering streaming engine for processing top-down XSLT transformations. It consists of an analyzer and a transformer. The analyzer examines given top-down XSLT and X...
167
click to vote
GD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for non-planarity. Modern planarity testi...
228
click to vote
HUMO
2007
Springer
15 years 11 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
201
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...