3653 search results - page 527 / 731 » On Recognizable Timed Languages |
159
click to vote
SCAM
2008
IEEE
16 years 20 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
175
click to vote
CODES
2007
IEEE
16 years 19 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
158
click to vote
CLEAR
2007
Springer
16 years 13 days ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
165
click to vote
CLEF
2007
Springer
16 years 13 days ago
2007
Springer
This article describes the participation of the University and Hospitals of Geneva at three tasks of the 2007 ImageCLEF image retrieval benchmark. The visual retrieval techniques r...
214
click to vote
HASKELL
2006
ACM
16 years 7 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...