Sciweavers

4099 search results - page 608 / 820
» A Framework for Interactive Proof
Sort
View
CVGIP
2007
108views more  CVGIP 2007»
15 years 4 months ago
Physically based rigging for deformable characters
In this paper we introduce a framework for instrumenting (“rigging”) characters that are modeled as dynamic elastic bodies, so that their shapes can be controlled by an animat...
Steve Capell, Matthew Burkhart, Brian Curless, Tom...
JUCS
2008
172views more  JUCS 2008»
15 years 4 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
JUCS
2006
166views more  JUCS 2006»
15 years 4 months ago
CAMMD: Context-Aware Mobile Medical Devices
: Telemedicine applications on a medical practitioner's mobile device should be context-aware. This can vastly improve the effectiveness of mobile applications and is a step t...
Timothy O'Sullivan, John O'Donoghue, John Herbert,...
NETWORK
2008
102views more  NETWORK 2008»
15 years 4 months ago
Behavior and classification of NAT devices and implications for NAT traversal
Abstract--For a long time, traditional client-server communication was the predominant communication paradigm of the Internet. Network Address Translation devices (NAT) emerged to ...
Andreas Müller, Georg Carle, Andreas Klenk
MMS
2006
15 years 4 months ago
A Generic Agent-based Peer-to-Peer Infrastructure for Social-mobile Applications
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
Steffen Kern, Torsten Dettborn, Ronny Eckhaus, Yan...