5144 search results - page 31 / 1029 » Enhancing Search with Structure |
104
click to vote
GEOS
2007
Springer
15 years 8 months ago
2007
Springer
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
IWVF
2001
Springer
15 years 6 months ago
2001
Springer
AMCS
2008
15 years 2 months ago
2008