Sciweavers

399 search results - page 42 / 80
» Scene Modeling Based on Constraint System Decomposition Tech...
Sort
View
IAT
2003
IEEE
15 years 5 months ago
Problem-solving in open environments
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
Santiago Macho-Gonzalez, Boi Faltings
WSCG
2004
209views more  WSCG 2004»
15 years 1 months ago
Cinematic Camera Control in 3D Computer Games
Good camera control and planning techniques in 3D computer games can give players deeper feelings about atmosphere of games. However, most modern computer games use fixed point-of...
Ting-Chieh Lin, Zen-Chung Shih, Yu-Ting Tsai
ISORC
2000
IEEE
15 years 3 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
IAJIT
2008
118views more  IAJIT 2008»
14 years 12 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk
PAMI
2012
13 years 3 months ago
Simultaneous Video Stabilization and Moving Object Detection in Turbulence
Turbulence mitigation refers to the stabilization of videos with non-uniform deformations due to the influence of optical turbulence. Typical approaches for turbulence mitigation ...
Omar Oreifej, Xin Li, and Mubarak Shah