3726 search results - page 149 / 746 » A structured definition of the modeling process |
144
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
206
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
In this paper, we tackle the problem of understanding the temporal structure of complex events in highly varying videos obtained from the Internet. Towards this goal, we utilize a...
148
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose a nonparametric extension to the factor analysis problem using a beta process prior. This beta process factor analysis (BPFA) model allows for a dataset to be decompose...
140
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an experience with a Software Process Improvement (SPI) approach particularly adapted to small structures with low software maturity level (e.g. small and med...
135
click to vote
REX
1993
15 years 8 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...