1585 search results - page 285 / 317 » A framework for computer-aided validation |
178
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
The high quality, structured data from Web structured sources is invaluable for many applications. Hidden Web databases are not directly crawlable by Web search engines and are on...
110
click to vote
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
101
click to vote
DAC
2003
ACM
16 years 24 days ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
141
click to vote
DAC
2006
ACM
16 years 24 days ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
106
click to vote
MICCAI
2004
Springer
16 years 21 days ago
2004
Springer
Anatomical objects often have complex and varying image appearance at different portions of the boundary; and it is frequently a challenge even to select appropriate scales at whic...