4962 search results - page 641 / 993 » Stochastic Model Checking |
189
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
150
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
160
click to vote
CORR
2011
Springer
15 years 23 days ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
149
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
In human perception, convex surfaces have a strong tendency to be perceived as the "figure". Convexity has a stronger influence on figural organization than other global...
153
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...