Sciweavers

313 search results - page 33 / 63
» Properties of Euler Diagrams
Sort
View
JUCS
2006
107views more  JUCS 2006»
13 years 7 months ago
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
Beate Bollig
ISSRE
2000
IEEE
13 years 12 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
ICARCV
2008
IEEE
164views Robotics» more  ICARCV 2008»
14 years 2 months ago
Dynamics analysis of a redundant parallel manipulator driven by elastic cables
—In this paper the dynamic analysis of a cable drive parallel manipulator is described in detail. The manipulator architecture is a simplified planer version adopted from the str...
Yousef Babazadeh Bedoustani, Hamid D. Taghirad, Mo...
SCALESPACE
2007
Springer
14 years 1 months ago
The Variational Origin of Motion by Gaussian Curvature
A variational formulation of an image analysis problem has the nice feature that it is often easier to predict the eect of minimizing a certain energy functional than to interpret...
Niels Chr. Overgaard, Jan Erik Solem
CVPR
2006
IEEE
14 years 1 months ago
Fast Variational Segmentation using Partial Extremal Initialization
In this paper we consider region-based variational segmentation of two- and three-dimensional images by the minimization of functionals whose fidelity term is the quotient of two...
Jan Erik Solem, Niels Chr. Overgaard, Markus Perss...