9405 search results - page 373 / 1881 » Computing a Model of Set Theory |
207
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
178
click to vote
DLT
2009
15 years 4 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
262
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present a generic framework for object segmentation using depth maps based on Random Forest and Graph-cuts theory, and apply it to the segmentation of human limbs in depth maps...
152
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment co...
187
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...