17298 search results - page 190 / 3460 » Abstract computing machines |
212
Voted
TSE
2012
13 years 6 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
107
Voted
ITNG
2007
IEEE
15 years 10 months ago
2007
IEEE
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
117
Voted
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
120
Voted
GFKL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a hybrid machine learning approach for information extraction from unstructured documents by integrating a learned classifier based on the Maximum Entropy Mod...
119
Voted
RP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Lossy counter machines (LCM’s) are a variant of Minsky counter machines based on weak (or unreliable) counters in the sense that they can decrease nondeterministically ...