Sciweavers

1257 search results - page 75 / 252
» Simplifying spline models
Sort
View
88
Voted
APN
2000
Springer
15 years 5 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 4 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
121
Voted
AUSAI
2006
Springer
15 years 2 months ago
3D Morphable Model Parameter Estimation
Estimating the structure of the human face is a long studied and difficult task. In this paper we present a new method for estimating facial structure from only a minimal number o...
Nathan Faggian, Andrew P. Paplinski, Jamie Sherrah
IJNSEC
2007
127views more  IJNSEC 2007»
15 years 20 days ago
A Web-based Multilayer Access Control Model for Multimedia Applications in MPEG-7
This paper presents a Criterion-Based Role-Based Access Control model in which secure permissions (SP), secure operations (SOp), secure objects (SOb), and secure users (SU) are in...
Leon Pan
FAC
2000
124views more  FAC 2000»
15 years 17 days ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman