Sciweavers

2702 search results - page 69 / 541
» constraints 2008
Sort
View
CAGD
2008
109views more  CAGD 2008»
15 years 4 months ago
Detail preserving deformation of B-spline surfaces with volume constraint
Geometric constraints have proved to be helpful for shape modeling. Moreover, they are efficient aids in controlling deformations and enhancing animation realism. The present pape...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...
141
Voted
ENTCS
2008
85views more  ENTCS 2008»
15 years 4 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
ECSA
2008
Springer
15 years 6 months ago
Towards a Dependency Constraint Language to Manage Software Architectures
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
Ricardo Terra, Marco Tulio de Oliveira Valente
120
Voted
COLING
1992
15 years 5 months ago
Towards Robust PATR
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
Shona Douglas, Robert Dale
155
Voted
TKDE
2008
177views more  TKDE 2008»
15 years 4 months ago
Analyzing and Managing Role-Based Access Control Policies
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, M...