1727 search results - page 68 / 346 » A Technique for Large Automated Mechanism Design Problems |
172
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Recent observations through experiments that we have performed in current third generation wireless networks have revealed that the achieved throughput over wireless links varies ...
142
click to vote
MVA
1994
15 years 7 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
199
click to vote
IJCAT
2010
15 years 4 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
183
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
178
click to vote
TCAD
2008
15 years 6 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...