2138 search results - page 363 / 428 » Logical Step-Indexed Logical Relations |
152
click to vote
BPM
2009
Springer
16 years 26 days ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
162
click to vote
CSL
2009
Springer
16 years 25 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
156
click to vote
EPIA
2009
Springer
16 years 25 days ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
144
click to vote
SAFECOMP
2009
Springer
16 years 24 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
179
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...