2308 search results - page 153 / 462 » Categorial Semantics For LFG |
187
click to vote
SIGADA
2007
Springer
16 years 18 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
166
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
In this paper, we propose to improve the effectiveness of biomedical information retrieval via a medical thesaurus. We analyzed the deficiencies of the existing medical thesauri a...
148
click to vote
MM
2005
ACM
16 years 1 days ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
177
click to vote
CIKM
2005
Springer
16 years 19 hour ago
2005
Springer
Assessing semantic similarity between text documents is a crucial aspect in Information Retrieval systems. In this work, we propose to use hyperlink information to derive a simila...
192
click to vote
EMSOFT
2005
Springer
16 years 12 hour ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...