Sciweavers

3256 search results - page 516 / 652
» Learning Linear Transformations
Sort
View
CONCUR
1994
Springer
15 years 6 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
SIGGRAPH
1993
ACM
15 years 6 months ago
Frequency domain volume rendering
The Fourier projection-slice theorem allows projections of volume data to be generated in O(n2 log n) time for a volume of size n3 . The method operates by extracting and inverse ...
Takashi Totsuka, Marc Levoy
SI3D
1992
ACM
15 years 6 months ago
Three-Dimensional Widgets
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
D. Brookshire Conner, Scott S. Snibbe, Kenneth P. ...
BIRTHDAY
2007
Springer
15 years 6 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ACIVS
2006
Springer
15 years 6 months ago
Constrained Region-Growing and Edge Enhancement Towards Automated Semantic Video Object Segmentation
Most existing object segmentation algorithms suffer from a so-called under-segmentation problem, where parts of the segmented object are missing and holes often occur inside the ob...
L. Gao, J. Jiang, S. Y. Yang