5608 search results - page 142 / 1122 » Structure description tools |
134
click to vote
OWLED
2007
15 years 4 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
137
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
120
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
113
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
111
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...