3742 search results - page 424 / 749 » On the Use of Formal Techniques for Validation |
174
click to vote
LREC
2010
15 years 8 months ago
2010
This paper presents the participation of FIDJI system to the Web Question-Answering evaluation campaign organized by Quaero in 2009. FIDJI is an open-domain question-answering sys...
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
193
Voted
CGF
2002
15 years 6 months ago
2002
This paper introduces a fast continuous collision detection technique for polyhedral rigid bodies. As opposed to most collision detection techniques, the computation of the first ...
196
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we present a general technique based on Bayesian inference to locate mobiles in cellular networks. We study the problem of localizing users in a cellular network ...
164
Voted
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...