4382 search results - page 761 / 877 » Query by Semantic Example |
209
click to vote
ISORC
2005
IEEE
16 years 10 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
154
click to vote
SP
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
210
click to vote
HASKELL
2005
ACM
16 years 9 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
197
Voted
MIR
2005
ACM
16 years 9 days ago
2005
ACM
Concept drifting is an important and challenging research issue in the field of machine learning. This paper mainly addresses the issue of semantic concept drifting in time series...
172
Voted
FASE
2005
Springer
16 years 8 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...