1380 search results - page 118 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
142
click to vote
IJAR
2010
15 years 1 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
201
Voted
ICMCS
2010
IEEE
15 years 4 months ago
2010
IEEE
High Dynamic Range (HDR) images can represent the acquired scene with a greater dynamic range of luminance than classical Low Dynamic Range (LDR) ones. Despite the recent diffusio...
140
click to vote
PSB
2001
15 years 4 months ago
2001
This paper discusses the issues involved in implementing a dynamic programming algorithm for biological sequence comparison on a generalpurpose parallel computing platform based o...
135
click to vote
ICTAI
2003
IEEE
15 years 8 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
132
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...