Sciweavers

1926 search results - page 316 / 386
» Modeling and Model Checking Software Product Lines
Sort
View

Tutorial
1113views
13 years 8 months ago
Snakes, Shapes, and Gradient vector flow
Active contours, or snakes, are computer-generated curves that move within images to find object boundaries. Its 3D version is often known as deformable models or active surfaces ...
DBPL
1997
Springer
94views Database» more  DBPL 1997»
15 years 4 months ago
Querying Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone

Dataset
998views
13 years 8 months ago
Snakes, Shapes, and Gradient vector flow
Active contours, or snakes, are computer-generated curves that move within images to find object boundaries. Its 3D version is often known as deformable models or active surfaces ...
SIGSOFT
2000
ACM
15 years 4 months ago
Integrating active information delivery and reuse repository systems
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
Yunwen Ye, Gerhard Fischer, Brent Reeves
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 7 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...