Sciweavers

4424 search results - page 600 / 885
» Semantic virtual environments
Sort
View
KR
2004
Springer
16 years 17 hour ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
TES
2004
Springer
16 years 5 hour ago
Robust Web Services via Interaction Contracts
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...
David B. Lomet
LICS
2003
IEEE
15 years 12 months ago
Reasoning about Hierarchical Storage
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
Amal J. Ahmed, Limin Jia, David Walker
MM
2003
ACM
115views Multimedia» more  MM 2003»
15 years 12 months ago
Extracting information about emotions in films
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
Andrew Salway, Mike Graham
TOOLS
1992
IEEE
15 years 10 months ago
Automating the Development of Syntax Tree Generators for an Evolving Language
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
Per Grape, Kim Walden