3719 search results - page 687 / 744 » RACER System Description |
GI
2004
Springer
15 years 5 months ago
2004
Springer
: Dieser Beitrag stellt die Integration der Timing Description Language (TDL) in das Modellierungswerkzeug Simulink vor. Das Ziel ist die Etablierung eines Entwicklungsprozesses, d...
102
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
If we treated image watermarking as a communication problem using the image as the communication channel, applying error-correcting codes (ECC) to the watermarking system should i...
MICCAI
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...