Sciweavers

2609 search results - page 268 / 522
» Models for Global Constraint Applications
Sort
View
TIP
2008
116views more  TIP 2008»
15 years 6 months ago
Self-Repelling Snakes for Topology-Preserving Segmentation Models
The implicit framework of the level-set method has several advantages when tracking propagating fronts. Indeed, the evolving contour is embedded in a higher dimensional level-set f...
Carole Le Guyader, Luminita A. Vese
AICOM
1999
116views more  AICOM 1999»
15 years 6 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
INFOCOM
2010
IEEE
15 years 5 months ago
Change Management in Enterprise IT Systems: Process Modeling and Capacity-optimal Scheduling
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
Praveen Kumar Muthuswamy, Koushik Kar, Sambit Sahu...
ICPR
2006
IEEE
16 years 7 months ago
Ancient Initial Letters Indexing
Discrimination of images is necessary in many tasks, either understanding or indexing for example. Here we are concerned by indexing. More precisely we are working about initial l...
Nicole Vincent, Rudolf Pareti
ISSTA
2009
ACM
16 years 1 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...