Sciweavers

844 search results - page 80 / 169
» More On Implicit Syntax
Sort
View
133
Voted
ESOP
2008
Springer
15 years 5 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
121
Voted
ESWS
2008
Springer
15 years 5 months ago
Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
Annett Mitschick, Ralf Nagel 0002, Klaus Meiß...
116
Voted
COMAD
2008
15 years 5 months ago
Native Multidimensional Indexing in Relational Databases
In existing database systems there is a strong need for searching data according to many attributes. In commercial database platforms, the standard search over multiple attributes...
David Hoksza, Tomás Skopal
120
Voted
LREC
2008
90views Education» more  LREC 2008»
15 years 5 months ago
A Text-based Query Interface to OWL Ontologies
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
Danica Damljanovic, Valentin Tablan, Kalina Bontch...
129
Voted
SIGSAND
2008
15 years 5 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst