1668 search results - page 220 / 334 » Semantic search |
155
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
234
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
190
click to vote
ICDE
2006
IEEE
16 years 16 days ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
161
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
Access to large numbers of data sources introduces new problems for users of heterogeneous distributed databases. End users and application programmers must deal with unavailable ...
149
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...