1226 search results - page 93 / 246 » Generating Abstractions from Static Domain Analysis |
APPROX
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
IJWGS
2010
13 years 5 months ago
2010
Abstract: In this paper, we revisit our approach to construction of semanticlinguistic Feature Vectors (FVs) used to enhance Web search. These FVs are built based on domain semanti...
AIME
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. In pharmacovigilance, linking the adverse reactions by patients to drugs they took is a key activity typically based on the analysis of patient reports. Yet generating po...
AAAI
1996
13 years 9 months ago
1996
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...
CONCUR
2006
Springer
14 years 10 hour ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...