3146 search results - page 315 / 630 » Efficient Consequence Finding |
117
Voted
FPL
2005
Springer
15 years 10 months ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
122
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning and, furthermore, to fin...
143
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
189
click to vote
TAINN
2005
Springer
15 years 10 months ago
2005
Springer
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
148
Voted
AI
2004
Springer
15 years 10 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...