Sciweavers

967 search results - page 120 / 194
» Building a Calculus of Data Structures
Sort
View
CAIP
2001
Springer
129views Image Analysis» more  CAIP 2001»
14 years 11 days ago
MPEG 2-Based Video Coding with Three-Layer Mixed Scalability
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
Marek Domanski, Slawomir Mackowiak
ISSAC
1994
Springer
165views Mathematics» more  ISSAC 1994»
13 years 12 months ago
Constructing Permutation Representations for Large Matrix Groups
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
Gene Cooperman, Larry Finkelstein, Bryant W. York,...
RT
2000
Springer
13 years 11 months ago
Modeling and Rendering for Realistic Facial Animation
Abstract. Rendering realistic faces and facial expressions requires good models for the reflectance of skin and the motion of the face. We describe a system for modeling, animating...
Stephen R. Marschner, Brian K. Guenter, Sashi Ragh...
AAAI
2010
13 years 9 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
SERVICES
2008
51views more  SERVICES 2008»
13 years 9 months ago
Iterative Workflows for Numerical Simulations in Subsurface Sciences
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
Jared Chase, Karen Schuchardt, George Chin Jr., Je...