Sciweavers

1242 search results - page 93 / 249
» The Theory of Grammar Constraints
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang
WWW
2001
ACM
16 years 7 months ago
A constraint extension to scalable vector graphics
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
Greg J. Badros, Jojada J. Tirtowidjojo, Kim Marrio...
DEXA
2000
Springer
76views Database» more  DEXA 2000»
15 years 10 months ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio
ECCV
1996
Springer
16 years 8 months ago
Imposing Hard Constraints on Soft Snakes
An approach is presented for imposing generic hard constraints on deformable models at a low computational cost, while preserving the good convergence properties of snake-like mod...
Pascal Fua, Christian Brechbühler
CP
1998
Springer
15 years 10 months ago
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
Thomas H. Kolbe