Sciweavers

5592 search results - page 447 / 1119
» On Random Betweenness Constraints
Sort
View
SYNTHESE
2010
129views more  SYNTHESE 2010»
15 years 5 months ago
Belief and contextual acceptance
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
Eleonora Cresto
DLOG
2010
15 years 4 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
ER
2010
Springer
132views Database» more  ER 2010»
15 years 4 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
CVPR
2011
IEEE
15 years 3 months ago
Repetition-based Dense Single-View Reconstruction
This paper presents a novel approach for dense reconstruction from a single-view of a repetitive scene structure. Given an image and its detected repetition regions, we model the ...
Changchang Wu, Jan-Michael Frahm, Marc Pollefeys
CVPR
2011
IEEE
15 years 3 months ago
Detection Free Tracking: Exploiting Motion and Topology for Segmenting and Tracking under Entanglement.
Our goal is to segment multiple interacting and deforming agents in a video. Detectors often fail under large body deformation or agent entanglement. On the other hand, segmenting...
Katerina Fragkiadaki, Jianbo Shi