1728 search results - page 201 / 346 » Advanced empirical testing |
185
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
126
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
126
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
128
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Many blog posts deal with current issues, so much attention has been paid to identifying topic trends in blogs. This paper suggests a new metric of selecting topic words. We empiri...
107
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
Knowledge discovery allows considerable insight into data. This brings with it the inherent risk that what is inferred may be private or ethically sensitive. The process of genera...