1635 search results - page 105 / 327 » Reasoning from Data Rather than Theory |
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
CSL
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
GIS
2006
ACM
13 years 9 months ago
2006
ACM
Integration of two road maps is finding a matching between pairs of objects that represent, in the maps, the same realworld road. Several algorithms were proposed in the past for ...
ENTCS
2007
13 years 9 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...