3073 search results - page 260 / 615 » Real World Verification |
164
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
183
click to vote
PKDD
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
179
click to vote
SEKE
2007
Springer
16 years 24 days ago
2007
Springer
XML diff algorithms proposed in the literature have focused on the structural analysis of the document. When XML is used for data exchange, or when different versions of a documen...
170
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Ontologies proliferate with the growth of the Semantic Web. However, most of data on the Web are still stored in relational databases. Therefore, it is important to establish inter...
161
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...