3799 search results - page 505 / 760 » An Engineering Approach to Formal Methods |
191
click to vote
SMI
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
290
click to vote
COMPUTE
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we have made an effort to propose approaches to find similar legal judgements by extending the popular techniques used in information retrieval and search engines...
196
click to vote
TCS
2002
15 years 6 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
146
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Super-resolution methods aimed to restore the spectrum of an original image above the half sampling frequency. The restoration problem is generally viewed as an inverse problem an...
177
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
We compute a common feature selection or kernel selection configuration for multiple support vector machines (SVMs) trained on different yet inter-related datasets. The method is ...