3909 search results - page 456 / 782 » Extreme Model Checking |
137
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Classical evolutionary algorithms have been extremely successful at solving certain problems. But they implement a very simple model of evolutionary biology that misses o...
155
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
146
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
144
click to vote
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
in Proc. IEEE Int’l Conf. on Image Processing (ICIP), pp 889-892, 2006 Traditional iterative tomographic reconstruction methods resort to gradient decent methods and require sig...
131
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper presents a new sensor based global Path Planner which operates in two steps. In the first step the safest areas in the environment are extracted by means of a Voron...