9359 search results - page 738 / 1872 » Generalization Algorithms for Second-Order Terms |
199
click to vote
CIKM
2010
Springer
15 years 6 months ago
2010
Springer
An important challenge for biomedical information retrieval (IR) is dealing with the complex, inconsistent and ambiguous biomedical terminology. Frequently, a concept-based repres...
201
click to vote
ISLPED
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, a novel thermal-aware dynamic placement planner for reconfigurable systems is presented, which targets transient temperature reduction. Rather than solving time-...
203
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
232
click to vote
MOBIHOC
2010
ACM
15 years 5 months ago
2010
ACM
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
201
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...