Sciweavers

11484 search results - page 643 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
223
Voted
GRAPHICSINTERFACE
2001
15 years 8 months ago
The Lit Sphere: A Model for Capturing NPR Shading from Art
While traditional graphics techniques provide for the realistic display of three-dimensional objects, these methods often lack the flexibility to emulate expressive effects found ...
Peter-Pike J. Sloan, William Martin, Amy Gooch, Br...
IJCV
2008
188views more  IJCV 2008»
15 years 7 months ago
Partial Linear Gaussian Models for Tracking in Image Sequences Using Sequential Monte Carlo Methods
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
Elise Arnaud, Étienne Mémin
ENTCS
2010
97views more  ENTCS 2010»
15 years 4 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
TSE
2011
180views more  TSE 2011»
15 years 2 months ago
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
Renée C. Bryce, Sreedevi Sampath, Atif M. M...
ISPW
2011
IEEE
14 years 11 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...