1860 search results - page 190 / 372 » tools 2009 |
151
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
185
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, we introduce a multilingual access and retrieval system with enhanced query translation and multilingual document retrieval, by mining bilingual terminologies and a...
160
click to vote
AIME
2009
Springer
15 years 4 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...
202
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
People conventionally refer to an action or occurrence taking place at a certain time at a specific location as an event. This notion is potentially useful for connecting individua...
176
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- The problem of finding the eigenvector corresponding to the largest eigenvalue of a stochastic matrix has numerous applications in ranking search results, multi-agent co...