9382 search results - page 325 / 1877 » A Functional Model for Data Analysis |
165
Voted
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
191
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
181
click to vote
MIRAGE
2007
Springer
16 years 27 days ago
2007
Springer
Human motion analysis has received a great attention from researchers in the last decade due to its potential use in different applications. We propose a new approach to extract h...
177
click to vote
CSDA
2010
15 years 6 months ago
2010
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...
200
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...