Sciweavers

378 search results - page 23 / 76
» From Natural Semantics to Abstract Machines
Sort
View
KDD
2009
ACM
200views Data Mining» more  KDD 2009»
14 years 2 months ago
Visual analysis of documents with semantic graphs
In this paper, we present a technique for visual analysis of documents based on the semantic representation of text in the form of a directed graph, referred to as semantic graph....
Delia Rusu, Blaz Fortuna, Dunja Mladenic, Marko Gr...
ESWS
2008
Springer
13 years 9 months ago
The Creation and Evaluation of iSPARQL Strategies for Matchmaking
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
Christoph Kiefer, Abraham Bernstein
CONCUR
2005
Springer
14 years 1 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 8 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
MLMI
2007
Springer
14 years 1 months ago
Automatic Annotation of Dialogue Structure from Simple User Interaction
Abstract. In [1], we presented a method for automatic detection of action items from natural conversation. This method relies on supervised classification techniques that are trai...
Matthew Purver, John Niekrasz, Patrick Ehlen