Sciweavers

1446 search results - page 32 / 290
» Testing for Concise Representations
Sort
View
CVPR
2010
IEEE
14 years 5 months ago
Energy Minimization for Linear Envelope MRFs
Markov random fields with higher order potentials have emerged as a powerful model for several problems in computer vision. In order to facilitate their use, we propose a new rep...
Pushmeet Kohli, M. Pawan Kumar
SEMWEB
2009
Springer
14 years 3 months ago
On Detecting High-Level Changes in RDF/S KBs
An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representatio...
Vicky Papavassiliou, Giorgos Flouris, Irini Fundul...
TLCA
2009
Springer
14 years 3 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
CVPR
2007
IEEE
14 years 3 months ago
Accurate Dynamic Sketching of Faces from Video
A sketch captures the most informative part of an object, in a much more concise and potentially robust representation (e.g., for face recognition or new capabilities of manipulat...
Zijian Xu, Jiebo Luo
ICSE
2007
IEEE-ACM
14 years 3 months ago
Automatic Inference of Structural Changes for Matching across Program Versions
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
Miryung Kim, David Notkin, Dan Grossman