Sciweavers

3954 search results - page 38 / 791
» Image-based Model Completion
Sort
View
143
Voted
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 6 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
DIAGRAMS
2000
Springer
15 years 6 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
ICASSP
2011
IEEE
14 years 5 months ago
Reconstructing completely overlapped notes from musical mixtures
In mixtures of musical sounds, the problem of overlapped harmonics poses a significant challenge to source separation. Common Amplitude Modulation (CAM) is one of the most effect...
Jinyu Han, Bryan Pardo
ESOP
2007
Springer
15 years 8 months ago
A Complete Guide to the Future
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
127
Voted
ICIP
2008
IEEE
16 years 3 months ago
Surface completion by minimizing energy based on similarity of shape
3D mesh models generated with range scanner or video images often have holes due to many occlusions by other objects and the object itself. This paper proposes a novel method to f...
Norihiko Kawai, Tomokazu Sato, Naokazu Yokoya