Sciweavers

1746 search results - page 236 / 350
» A Constructive Semantics for ALC
Sort
View
FORTE
2007
15 years 2 months ago
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
96
Voted
LREC
2008
141views Education» more  LREC 2008»
15 years 2 months ago
Building a Corpus of Temporal-Causal Structure
While recent corpus annotation efforts cover a wide variety of semantic structures, work on temporal and causal relations is still in its early stages. Annotation efforts have typ...
Steven Bethard, William Corvey, Sara Klingenstein,...
132
Voted
NIPS
2008
15 years 2 months ago
Interpreting the neural code with Formal Concept Analysis
We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explor...
Dominik Endres, Peter Földiák
109
Voted
OWLED
2008
15 years 2 months ago
InfixOWL: An Idiomatic Interface for OWL
The Ontology Web Language (OWL) provides a powerful framework for describing the semantics and constraints of a particular domain described in RDF. Along with that power comes the...
Chimezie Ogbuji
SYRCODIS
2008
120views Database» more  SYRCODIS 2008»
15 years 2 months ago
Efficient Implementation of XQuery Constructor Expressions
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this ...
Leonid Novak, Maxim Grinev, Ilya Taranov