1757 search results - page 43 / 352 » Alternating Refinement Relations |
114
Voted
GISCIENCE
2010
Springer
15 years 1 months ago
2010
Springer
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
117
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Palmprint verification is a relatively new but promising personal authentication technique for its high accuracy and fast matching speed. Two dimensional (2D) palmprint recognitio...
131
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
122
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: Identification of discourse relations, such as causal and contrastive relations, between situations mentioned in text is an important task for biomedical text-mining. ...
91
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and