Sciweavers

4755 search results - page 802 / 951
» An Implementation Model for Collaborative Applications
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
CGF
2006
198views more  CGF 2006»
15 years 6 months ago
Real-Time Weighted Pose-Space Deformation on the GPU
WPSD (Weighted Pose Space Deformation) is an example based skinning method for articulated body animation. The per-vertex computation required in WPSD can be parallelized in a SIM...
Taehyun Rhee, John P. Lewis, Ulrich Neumann
COMPUTING
2006
130views more  COMPUTING 2006»
15 years 6 months ago
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
We investigate the numerical solution of large-scale Lyapunov equations with the sign function method. Replacing the usual matrix inversion, addition, and multiplication by format...
Ulrike Baur, Peter Benner
ENTCS
2006
137views more  ENTCS 2006»
15 years 6 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
JASIS
2008
76views more  JASIS 2008»
15 years 6 months ago
Using importance flooding to identify interesting networks of criminal activity
Abstract. In spite of policy concerns and high costs, the law enforcement community is investing heavily in data sharing initiatives. Cross-jurisdictional criminal justice informat...
Byron Marshall, Hsinchun Chen, Siddharth Kaza