Sciweavers

6141 search results - page 222 / 1229
» Models and representation of their ownership
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Code Improvements for Model Elimination Based Reasoning Systems
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
FMSD
2002
107views more  FMSD 2002»
15 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
CVPR
2011
IEEE
15 years 1 months ago
Modeling Human Activities as Speech
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
Chia-Chih Chen, Jake Aggarwal
CGF
2011
14 years 10 months ago
A Sparse Parametric Mixture Model for BTF Compression, Editing and Rendering
Bidirectional texture functions (BTFs) represent the appearance of complex materials. Three major shortcomings with BTFs are the bulky storage, the difficulty in editing and the ...
Hongzhi Wu, Julie Dorsey, Holly E. Rushmeier
MODELS
2009
Springer
16 years 1 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
Pierre-Alain Muller, Frédéric Fondem...