1722 search results - page 116 / 345 » Generating Tests from Counterexamples |
CIARP
2009
Springer
14 years 5 months ago
2009
Springer
Many tasks can be described by sequences of actions that normally exhibit some form of structure and that can be represented by a grammar. This paper introduces FOSeq, an algorithm...
KDD
2005
ACM
14 years 11 months ago
2005
ACM
This paper presents a novel approach for using clickthrough data to learn ranked retrieval functions for web search results. We observe that users searching the web often perform ...
IJCV
2007
13 years 10 months ago
2007
This paper presents a multi-cue vision system for the real-time detection and tracking of pedestrians from a moving vehicle. The detection component involves a cascade of modules, ...
ACL
2009
13 years 8 months ago
2009
Wikipedia provides a wealth of knowledge, where the first sentence, infobox (and relevant sentences), and even the entire document of a wiki article could be considered as diverse...
ICDM
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we proposed a new approach, called FiVaTech for the problem of Web data extraction. FiVaTech is a page-level data extraction system which deduces the data schema an...