1727 search results - page 203 / 346 » A Technique for Large Automated Mechanism Design Problems |
212
click to vote
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
211
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
228
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
281
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- Large flash disks have become an attractive alternative to magnetic hard disks, due to their high random read performance, low energy consumption and other features. How...
215
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...