2766 search results - page 166 / 554 » Hybridizing a Logical Framework |
128
click to vote
ISJ
2002
15 years 4 months ago
2002
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
171
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Kernel summations are a ubiquitous key computational bottleneck in many data analysis methods. In this paper, we attempt to marry, for the first time, the best relevant technique...
121
click to vote
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
145
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper proposes a new framework for image segmentation based on the integration of MRFs and deformable models using graphical models. We first construct a graphical model to r...
111
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Consider the task of searching a region for the presence or absence of a target using a team of multiple searchers. This paper formulates this search problem as a sequential pr...