4962 search results - page 660 / 993 » Stochastic Model Checking |
192
Voted
CC
2009
Springer
15 years 4 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
139
Voted
IJBC
2010
15 years 3 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
156
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
200
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Cloth modeling and recognition is an important and challenging problem in both vision and graphics tasks, such as dressed human recognition and tracking, human sketch and portrait...
185
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Mining data streams of changing class distributions is important for real-time business decision support. The stream classifier must evolve to reflect the current class distributi...