Sciweavers

4212 search results - page 286 / 843
» Rights Expression Languages
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 24 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
FQAS
2004
Springer
63views Database» more  FQAS 2004»
16 years 20 days ago
On Querying Ontologies and Databases
This paper concerns the motivation for and subsequently the analysis of proposed additions, in the form of new operators, to a concept language Ontolog for use in querying a conten...
Henrik Bulskov, Rasmus Knappe, Troels Andreasen
IJCNLP
2004
Springer
16 years 19 days ago
Example-Based Machine Translation Without Saying Inferable Predicate
For natural translations, a human being does not express predicates that are inferable from the context in a target language. This paper proposes a method of machine translation w...
Eiji Aramaki, Sadao Kurohashi, Hideki Kashioka, Hi...
LPNMR
2004
Springer
16 years 19 days ago
Planning with Preferences Using Logic Programming
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
Tran Cao Son, Enrico Pontelli
CAISE
2003
Springer
16 years 15 days ago
Approaches to Implementing Tailored Metaschemas in XML
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
Martin Bernauer, Gerti Kappel, Gerhard Kramler