Sciweavers

4346 search results - page 341 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
ECCV
2004
Springer
16 years 8 months ago
General Linear Cameras
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...
Jingyi Yu, Leonard McMillan
SIGGRAPH
1999
ACM
15 years 11 months ago
Subdivision Schemes for Fluid Flow
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
Henrik Weimer, Joe D. Warren
CAISE
2006
Springer
15 years 10 months ago
A Personalized and Context-Aware Adaptation Process for Web-Based Groupware Systems
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
Manuele Kirsch-Pinheiro, Marlène Villanova-...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
IMCSIT
2010
15 years 4 months ago
An Hypergraph Object Oriented Model for Image Segmentation and Annotation
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...
Eugen Ganea, Marius Brezovan