4211 search results - page 635 / 843 » A formal approach to MASQ |
174
click to vote
WISE
2003
Springer
15 years 12 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
186
click to vote
APWEB
2003
Springer
15 years 11 months ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
190
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
183
click to vote
ICADL
2003
Springer
15 years 11 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
174
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...