1205 search results - page 68 / 241 » Program Extraction from Large Proof Developments |
177
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
148
click to vote
PAA
2006
15 years 1 months ago
2006
We present our studies on the application of Coupled Hidden Markov Models(CHMMs) to sports highlights extraction from broadcast video using both audio and video information. First,...
127
click to vote
LREC
2010
15 years 3 months ago
2010
The Text Analysis Conference (TAC) is a series of Natural Language Processing evaluation workshops organized by the National Institute of Standards and Technology. The Knowledge B...
113
click to vote
JUCS
2008
15 years 1 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...