3931 search results - page 592 / 787 » Separation logic and abstraction |
186
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Pronunciation by analogy (PbA) is a data-driven approach to phonetic transcription that generates pronunciations for unknown words by exploiting the phonological knowledg...
313
click to vote
VLSI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
166
click to vote
WDAG
2007
Springer
16 years 1 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
196
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Ultra wideband technology shows promise for precision ranging due to its fine time resolution to resolve multipath fading and the presence of lower frequencies in the ...
181
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper introduces the concept of gait transitions, acyclic feedforward motion patterns that allow a robot to switch from one gait to another. Legged robots often ut...