3082 search results - page 603 / 617 » Deviation Analysis: A New Use of Model Checking |
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...
70
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Research in relational data mining has two major directions: finding global models of a relational database and the discovery of local relational patterns within a database. While...
112
click to vote
KDD
2003
ACM
15 years 10 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
89
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...