Sciweavers

11561 search results - page 2165 / 2313
» A Language for Biochemical Systems
Sort
View
DSS
2008
109views more  DSS 2008»
13 years 10 months ago
Cross-lingual audio-to-text alignment for multimedia content management
This paper addresses a content management problem in situations where we have a collection of spoken documents in audio stream format in one language and a collection of related t...
Dau-Cheng Lyu, Ren-Yuan Lyu, Yuang-Chin Chiang, Ch...
AIR
2006
129views more  AIR 2006»
13 years 10 months ago
Attention driven reference resolution in multimodal contexts
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...
John D. Kelleher
ENTCS
2008
170views more  ENTCS 2008»
13 years 10 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
ENTCS
2008
120views more  ENTCS 2008»
13 years 10 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
ESWA
2008
155views more  ESWA 2008»
13 years 10 months ago
Using GHSOM to construct legal maps for Taiwan's securities and futures markets
A good legal knowledge representation system, capable of effectively providing investors with comprehensive legal knowledge, is needed for investors to prevent erratic behavior be...
Jen-Ying Shih, Yu-Jung Chang, Wun-Hwa Chen
« Prev « First page 2165 / 2313 Last » Next »