Sciweavers

1054 search results - page 119 / 211
» Determining Computing Science's Role
Sort
View
123
Voted
CAD
2007
Springer
15 years 1 months ago
Dynamic B-spline surface reconstruction: Closing the sensing-and-modeling loop in 3D digitization
In this paper, we present a new B-spline surface reconstruction approach, called dynamic surface reconstruction, aiming to close the sensingand-modeling loop in 3D digitization. A...
Yunbao Huang, Xiaoping Qian
158
Voted
CAD
2005
Springer
15 years 1 months ago
Freeform surface flattening based on fitting a woven mesh model
This paper presents a robust and efficient surface flattening approach based on fitting a woven-like mesh model on a 3D freeform surface. The fitting algorithm is based on tendon ...
Charlie C. L. Wang, Kai Tang, Benjamin M. L. Yeung
TCS
1998
15 years 1 months ago
Foundations of Aggregation Constraints
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...
Kenneth A. Ross, Divesh Srivastava, Peter J. Stuck...
114
Voted
MFCS
2010
Springer
15 years 9 days ago
Properties of Visibly Pushdown Transducers
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
Emmanuel Filiot, Jean-François Raskin, Pier...
114
Voted
TCS
2010
15 years 8 days ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink