Sciweavers

1078 search results - page 28 / 216
» Local and Global Relational Consistency
Sort
View
VIS
2007
IEEE
199views Visualization» more  VIS 2007»
15 years 6 days ago
Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
Miriah Meyer, Robert M. Kirby, Ross Whitaker
HICSS
1994
IEEE
157views Biometrics» more  HICSS 1994»
14 years 3 months ago
A Protein Family Classification Method for Analysis of Large DNA Sequences
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...
Steven Henikoff, Jorja G. Henikoff
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
13 years 11 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
PODS
2006
ACM
88views Database» more  PODS 2006»
14 years 11 months ago
Structural characterizations of the semantics of XPath as navigation tool on a document
Given a document D in the form of an unordered labeled tree, we study the expressibility on D of various fragments of XPath, the core navigational language on XML documents. We gi...
Marc Gyssens, Jan Paredaens, Dirk Van Gucht, Georg...
BPM
2003
Springer
92views Business» more  BPM 2003»
14 years 2 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork