1456 search results - page 115 / 292 » Two Techniques to Improve Finite Model Search |
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Existing temporal pattern mining assumes that events do not have any duration. However, events in many real world applications have durations, and the relationships among these ev...
ISVC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a retinal image registration approach for National Institute of Health (NIH)’s Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging ...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
In applications of biometric databases the typical task is to identify individuals according to features which are not exactly known. Reasons for this inexactness are varying meas...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
EDCC
1999
Springer
14 years 8 days ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...