Sciweavers

1067 search results - page 20 / 214
» Analysis of BPEL Data Dependencies
Sort
View
NAACL
2007
13 years 11 months ago
Relationship between Non-Projective Edges, Their Level Types, and Well-Nestedness
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
Jirí Havelka
DEXAW
2004
IEEE
132views Database» more  DEXAW 2004»
14 years 1 months ago
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
Samir Jafar, Sébastien Varrette, Jean-Louis...
ISSTA
2010
ACM
13 years 12 months ago
Exploiting program dependencies for scalable multiple-path symbolic execution
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
Raúl A. Santelices, Mary Jean Harrold
DAGSTUHL
1997
13 years 11 months ago
Spotting Structure in Complex Time Dependent Flow
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...
Wim C. de Leeuw, Robert van Liere
DAS
2008
Springer
13 years 11 months ago
Writer-Dependent Recognition of Handwritten Whiteboard Notes in Smart Meeting Room Environments
In this paper we present a writer-dependent handwriting recognition system based on hidden Markov models (HMMs). This system, which has been developed in the context of research o...
Marcus Liwicki, Andreas Schlapbach, Horst Bunke