Sciweavers

331 search results - page 12 / 67
» Fragments of order
Sort
View
VMV
2001
160views Visualization» more  VMV 2001»
13 years 8 months ago
Interactive Repositioning of Bone Fracture Segments
This paper presents an application for semiautomatic repositioning of bone fractures that allows the merging of several fragments. This application has been developed with regard ...
Michael Scheuering, Christof Rezk-Salama, Christia...
IUI
2004
ACM
14 years 28 days ago
Robust sketched symbol fragmentation using templates
Analysis of sketched digital ink is often aided by the division of stroke points into perceptually-salient fragments based on geometric features. Fragmentation has many applicatio...
Heloise Hwawen Hse, Michael Shilman, A. Richard Ne...
LICS
1999
IEEE
13 years 11 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
EJC
2008
13 years 9 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
CVPR
2004
IEEE
14 years 9 months ago
Bayesian Assembly of 3D Axially Symmetric Shapes from Fragments
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
Andrew R. Willis, David B. Cooper