10997 search results - page 2092 / 2200 » On the Structure of Complete Sets |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This paper is intended to sum up the results of the Second International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03) held in Portland, Or...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
ICDE
2010
IEEE
14 years 10 months ago
2010
IEEE
Rank-aware query processing has become essential for many applications that return to the user only the top-k objects based on the individual user's preferences. Top-k queries...