3909 search results - page 457 / 782 » Extreme Model Checking |
125
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
144
click to vote
DGCI
2005
Springer
15 years 10 months ago
2005
Springer
Topology is a fundamental property of shapes in pictures. Since the input for any image analysis algorithm is a digital image, which does not need to have the same topological char...
142
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
132
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
142
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...