Sciweavers

9931 search results - page 450 / 1987
» Generative Modeling by PRISM
Sort
View
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
15 years 8 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
EWCBR
2008
Springer
15 years 8 months ago
Conversational Case-Based Recommendations Exploiting a Structured Case Model
There are case-based recommender systems that generate personalized recommendations for users exploiting the knowledge contained in past recommendation cases. These systems assume ...
Quang Nhat Nguyen, Francesco Ricci
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...
CN
2006
161views more  CN 2006»
15 years 6 months ago
A multimedia traffic modeling framework for simulation-based performance evaluation studies
The emergence of high-speed communication systems has enabled the support of complex multimedia applications. The traffic patterns generated by such applications are likely to be ...
Assen Golaup, Hamid Aghvami
IJCV
2007
196views more  IJCV 2007»
15 years 6 months ago
Weakly Supervised Scale-Invariant Learning of Models for Visual Recognition
We investigate a method for learning object categories in a weakly supervised manner. Given a set of images known to contain the target category from a similar viewpoint, learning...
Robert Fergus, Pietro Perona, Andrew Zisserman