Sciweavers

2121 search results - page 64 / 425
» Experimental Analysis of BRDF Models
Sort
View
ENTCS
2006
112views more  ENTCS 2006»
13 years 7 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
ATAL
2006
Springer
13 years 11 months ago
Agent-based modeling of human education data
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
Yuqing Tang, Simon Parsons, Elizabeth Sklar
ICDAR
2009
IEEE
14 years 2 months ago
Integrating Language Model in Handwritten Chinese Text Recognition
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
Qiu-Feng Wang, Fei Yin, Cheng-Lin Liu
IPPS
2005
IEEE
14 years 1 months ago
Predictive Performance Modelling of Parallel Component Composition
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
Lei Zhao, Stephen A. Jarvis, Daniel P. Spooner, Gr...
BCSHCI
2007
13 years 9 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer