Sciweavers

2364 search results - page 23 / 473
» An Engine for Computing Well-Founded Models
Sort
View
FOSSACS
2005
Springer
15 years 5 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston

Book
301views
16 years 9 months ago
Simulating Humans: Computer Graphics, Animation, and Control
"This book is intended for human factors engineers requiring current knowledge of how a computer graphics surrogate human can augment their analyses of designed environments. ...
Norman I. Badler, Cary B. Phillips, Bonnie L. Webb...
DIGRA
2005
Springer
15 years 5 months ago
Game Engineering for a Multiprocessor Architecture
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
Abdennour El Rhalibi, Steve Costa, David England
SOCA
2010
IEEE
14 years 9 months ago
Service-oriented data quality engineering and data publishing in the cloud
Traditional data quality engineering techniques, often used and deployed within a single enterprise environment, are inadequate to cope with the rapid change of data, with a multit...
Marco Comerio, Hong Linh Truong, Carlo Batini, Sch...