10870 search results - page 2040 / 2174 » Model Checking Programs |
98
Voted
SPLC
2000
15 years 3 months ago
2000
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
ACL
1996
15 years 2 months ago
1996
Corpus-based methods for natural language processing often use supervised training, requiring expensive manual annotation of training corpora. This paper investigates methods for ...
126
Voted
WOA
2007
15 years 2 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
131
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
126
click to vote
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a novel hybrid method combining genetic programming and decision tree learning. The method starts by estimating a benchmark level of reasonable accuracy, based ...