3082 search results - page 457 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
163
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
180
click to vote
SDM
2010
SIAM
15 years 7 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
166
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
182
click to vote
DATAMINE
2008
15 years 4 months ago
2008
Predictive modelling of online dynamic user-interaction recordings and community identifi cation from such data b ecomes more and more imp ortant w ith th e w idesp read use of on...