8828 search results - page 1291 / 1766 » Formal methods in practice |
186
click to vote
VMV
2000
15 years 8 months ago
2000
In this paper the problem of matching freeform surface features against measured point data is studied. The motivation for this investigation is the recent demand for fast and rob...
199
click to vote
WSC
2000
15 years 8 months ago
2000
This paper is focused on estimating the quality of the sample mean from a steady-state simulation experiment with consideration of computational efficiency, memory requirement, an...
178
click to vote
NAACL
1994
15 years 8 months ago
1994
This paper describes a semi-automatic method for associating a Japanese lexicon with a semantic concept taxonomy called an ontology, using a Japanese-English bilingual dictionary ...
207
click to vote
UAI
1996
15 years 8 months ago
1996
In this paper we examine a novel addition to the known methods for learning Bayesian networks from data that improves the quality of the learned networks. Our approach explicitly ...
174
click to vote
APCCM
2009
15 years 8 months ago
2009
Service-oriented architectures (SOAs) provide the basis of distributed application frameworks where software components are provided as modular and reusable services. Until today ...