2025 search results - page 242 / 405 » On the Utility of Inference Mechanisms |
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
TLDI
2003
ACM
14 years 1 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
CIA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology service...
KDD
2009
ACM
14 years 23 days ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
ICLP
1999
Springer
14 years 14 days ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...