338 search results - page 7 / 68 » On the Complexity of Termination Inference for Processes |
118
click to vote
IWCM
2004
Springer
15 years 3 months ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
WSC
2008
14 years 12 months ago
2008
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...
ICGI
2010
Springer
14 years 10 months ago
2010
Springer
We recapitulate regular one-shot learning from membership and equivalence queries, positive and negative finite data. We present a meta-algorithm that generalizes over as many sett...
112
click to vote
TSP
2011
14 years 4 months ago
2011
—Many complex dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...