Sciweavers

2002 search results - page 44 / 401
» Interactive technical illustration
Sort
View
ISCAS
2005
IEEE
125views Hardware» more  ISCAS 2005»
14 years 1 months ago
Integration of image stabilizer with video codec for digital video cameras
— Electronic image stabilizer and video codec are two important components of a digital video camera. Both require motion information of the captured image sequence to perform th...
Yu-Chun Peng, Hung-An Chang, Chia-Kai Liang, Homer...
KR
2004
Springer
14 years 1 months ago
Situations, Si! Situation Terms, No!
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
Gerhard Lakemeyer, Hector J. Levesque
GCC
2003
Springer
14 years 25 days ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
IDMS
2000
Springer
112views Multimedia» more  IDMS 2000»
13 years 11 months ago
A QoS-Control Architecture for Object Middleware
This paper presents an architecture for QoS-aware middleware platforms. We present a general framework for control, and specialise this framework for QoS provisioning in the middle...
Lodewijk Bergmans, Aart van Halteren, Luís ...
WSCG
2001
77views more  WSCG 2001»
13 years 9 months ago
Physics-Enhanced L-Systems
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
Hansrudi Noser, S. Rudolph, Peter Stucki