4126 search results - page 401 / 826 » Set based logic programming |
173
click to vote
FIW
2009
15 years 2 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
179
click to vote
TACAS
2012
Springer
14 years 4 days ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
116
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
125
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We set out an object localization scheme based on a convex programming matching method. The proposed approach is designed to match general objects, especially objects with very li...
124
click to vote
IV
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...