Sciweavers

4250 search results - page 330 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ICMCS
2007
IEEE
161views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Generating High-Resolution Textures for 3D Virtual Environments using View-Independent Texture Mapping
Image based modeling and rendering techniques have become increasingly popular for creating and visualizing 3D models from a set of images. Typically, these techniques depend on v...
Charalambos Poullis, Suya You, Ulrich Neumann
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
PDPTA
2008
15 years 8 months ago
Predicting Web Cache Behavior using Stochastic State-Space Models
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...
Amitayu Das, Ritendra Datta, Bhuvan Urgaonkar, Ana...
SIGSOFT
2006
ACM
16 years 7 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
CHI
2009
ACM
16 years 7 months ago
EnsembleMatrix: interactive visualization to support machine learning with multiple classifiers
Machine learning is an increasingly used computational tool within human-computer interaction research. While most researchers currently utilize an iterative approach to refining ...
Justin Talbot, Bongshin Lee, Ashish Kapoor, Desney...