Sciweavers

21319 search results - page 205 / 4264
» An Approach for Method Reengineering
Sort
View
GIR
2008
ACM
15 years 4 months ago
Evaluating field crisping methods for representing spatial prepositions
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
Mark M. Hall, Christopher B. Jones
130
Voted
CORR
2006
Springer
89views Education» more  CORR 2006»
15 years 3 months ago
Reuse of Specification Patterns with the B Method
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
Sandrine Blazy, Frédéric Gervais, R&...
IVC
2006
82views more  IVC 2006»
15 years 3 months ago
Nonlinear optimisation method for image segmentation and noise reduction using geometrical intrinsic properties
This paper considers the optimisation of a nonlinear functional for image segmentation and noise reduction. Equations optimising this functional are derived and employed to detect...
Sasan Mahmoodi, Bayan S. Sharif
CAD
2005
Springer
15 years 3 months ago
A new CAD mesh segmentation method, based on curvature tensor analysis
This paper presents a new and efficient algorithm for the decomposition of 3D arbitrary triangle meshes and particularly optimized triangulated CAD meshes. The algorithm is based ...
Guillaume Lavoué, Florent Dupont, Atilla Ba...
EMISA
2002
Springer
15 years 3 months ago
A new reduction method for the analysis of large workflow models
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
Loucif Zerguini, Kees M. van Hee