3758 search results - page 648 / 752 » A Complete Subsumption Algorithm |
106
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
MICCAI
2002
Springer
15 years 10 months ago
2002
Springer
CT-angiography is a well established medical imaging technique for the detection, evaluation and therapy planning of intracranial aneurysms. Different 3D visualization algorithms s...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...