Sciweavers

5924 search results - page 15 / 1185
» Normal Process Representatives
Sort
View
CCCG
2008
15 years 1 months ago
Computing Dehn Twists and Geometric Intersection Numbers in Polynomial Time
Simple curves on surfaces are often represented as sequences of intersections with a triangulation. However, there are much more succinct ways of representing simple curves used i...
Marcus Schaefer, Eric Sedgwick, Daniel Stefankovic
90
Voted
JNCA
2007
87views more  JNCA 2007»
15 years 9 days ago
Representing and analysing composed web services using Cress
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
Kenneth J. Turner
ECAI
2006
Springer
15 years 4 months ago
On the Existence of Answer Sets in Normal Extended Logic Programs
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
Martin Caminada, Chiaki Sakama
APLAS
2007
ACM
15 years 4 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
109
Voted
ICIP
2007
IEEE
16 years 2 months ago
Modeling Time-Varying Illumination Patterns in Video
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
Yilei Xu, Amit K. Roy Chowdhury