1060 search results - page 39 / 212 » Mechanized semantics |
160
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Recently, the use of semantic technologies has gained quite some traction. With increased use of these technologies, their maturation not only in terms of performance, robustness b...
VLDB
1993
ACM
15 years 1 months ago
1993
ACM
Abstract. We show that production rules and persistent queues together provide a convenient mechanism for maintaining consistency in semantically heterogeneous multidatabase enviro...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...