2576 search results - page 160 / 516 » Methodology work is ontology work |
150
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
165
click to vote
PAM
2005
Springer
16 years 10 days ago
2005
Springer
At present, link layer topology discovery methodologies rely on protocols that are not universally available, such as SNMP. Such methodologies can only be applied to a subset of al...
161
Voted
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
176
Voted
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
While many algorithms for computing stereo correspondence have been proposed, there has been very little work on experimentally evaluating algorithm performance, especially using r...
176
Voted
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The “quadratic placement” methodology is rooted in [6] [14] [16] and is reputedly used in many commercial and in-house tools for placement of standard-cell and gate-array desi...