2806 search results - page 499 / 562 » BML and Related Tools |
128
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
107
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we present a general framework for predicting the positioning uncertainty of underwater vehicles. We apply this framework to common examples from marine robotics:...
150
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
155
click to vote
WABI
2009
Springer
15 years 8 months ago
2009
Springer
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
142
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...