3038 search results - page 312 / 608 » Controlling Engineering Problem Solving |
190
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
178
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
172
click to vote
CARDIS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose three smartcard-based variants of anonymous authentication using unique one-time pseudonyms. The first variant can be used to authenticate a user. However,...
167
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
The possible application of evolving artificial embryos to build functional machinery is a promising area of research. Unfortunately, there are still many fundamental problems to ...
156
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When an evolutionary algorithm addresses a sequence of instances of the same problem, it can seed its population with solutions that it found for previous instances. This techniqu...