1205 search results - page 116 / 241 » Program Extraction from Large Proof Developments |
134
click to vote
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
107
click to vote
TASLP
2008
15 years 1 months ago
2008
HMM-based models are developed for the alignment of words and phrases in bitext. The models are formulated so that alignment and parameter estimation can be performed efficiently....
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
130
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
108
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we propose a semi-supervised learning approach for classifying program (bot) generated web search traffic from that of genuine human users. The work is motivated by...