Sciweavers

9626 search results - page 236 / 1926
» Invariant Based Programming
Sort
View
USENIX
2000
15 years 7 months ago
Outwit: UNIX Tool-Based Programming Meets the Windows World
The ubiquity of Windows-based desktop environments has not been matched by a corresponding emergence of tools supporting the Unix tool composition paradigm. Outwit is a suite of t...
Diomidis Spinellis
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 6 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
SBACPAD
2008
IEEE
132views Hardware» more  SBACPAD 2008»
16 years 27 days ago
Aspect-Based Patterns for Grid Programming
The development of grid algorithms is frequently hampered by limited means to describe topologies and lack of support for the invasive composition of legacy components in order to...
Luis Daniel Benavides Navarro, Rémi Douence...
GECCO
2004
Springer
151views Optimization» more  GECCO 2004»
15 years 12 months ago
Discovery of Human-Competitive Image Texture Feature Extraction Programs Using Genetic Programming
In this paper we show how genetic programming can be used to discover useful texture feature extraction algorithms. Grey level histograms of different textures are used as inputs ...
Brian T. Lam, Victor Ciesielski
ICIP
2008
IEEE
16 years 8 months ago
Robust snake convergence based on dynamic programming
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
Akshaya Kumar Mishra, Paul W. Fieguth, David A. Cl...