29172 search results - page 332 / 5835 » Modeling Systems in CLP |
170
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
200
click to vote
SIBGRAPI
2000
IEEE
15 years 11 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
182
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
192
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a real-time, handheld 3D model acquisition system consisting of a laser projector, a video camera and a turntable is described. The user projects a stripe of light ...
194
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...