3068 search results - page 426 / 614 » Separation Results on the |
176
click to vote
SIROCCO
2007
15 years 8 months ago
2007
A set of input vectors S is conclusive if correct functionality for all input vectors is implied by correct functionality over vectors in S. We consider four functionalities of co...
146
click to vote
AAAI
2006
15 years 8 months ago
2006
The importance of the problems of contingent planning with actions that have non-deterministic effects and of planning with goal preferences has been widely recognized, and severa...
206
click to vote
CASCON
2004
15 years 8 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
149
click to vote
CIC
2004
15 years 8 months ago
2004
With a better understanding of how probe packets and cross-traffic packets interact with each other, more accurate measurement methods based on active probing can be developed. Sev...
148
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The wealth of information contained in the world-wide web has created much interest in systems for integrating information from multiple sites. We describe a universal wrapper mac...