1416 search results - page 83 / 284 » An Exact Interpretation of While |
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
MHCI
2009
Springer
14 years 4 months ago
2009
Springer
Most mobile navigation systems focus on answering the question, “I know where I want to go, now can you show me exactly how to get there?” While this approach works well for m...
ISCAS
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
SISAP
2008
IEEE
14 years 4 months ago
2008
IEEE
Similarity search in sequence databases is of paramount importance in bioinformatics research. As the size of the genomic databases increases, similarity search of proteins in the...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We propose a dynamic blind beamforming scheme which allows to benefit from antenna directivity in large mobile ad hoc networks while avoiding heavy feedback to track mobile no...