Sciweavers

4212 search results - page 286 / 843
» Rights Expression Languages
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 4 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 13 hour 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
15 years 12 months 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
15 years 12 months 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
15 years 12 months 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