5615 search results - page 467 / 1123 » Active Learner Modelling |
206
click to vote
CVIU
2006
15 years 6 months ago
2006
We explore an approach to 3D people tracking with learned motion models and deterministic optimization. The tracking problem is formulated as the minimization of a differentiable ...
219
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
189
click to vote
IJWET
2007
15 years 6 months ago
2007
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
139
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction ind...
160
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...