1755 search results - page 271 / 351 » An efficient simulation algorithm based on abstract interpre... |
148
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present a framework for designing delayindependent end-to-end congestion control algorithms, where each end-user may have a different utility function. We only requir...
137
click to vote
CGF
2008
15 years 4 months ago
2008
Simulating the in-water ocean light field is a daunting task. Ocean waters are one of the richest participating media, where light interacts not only with water molecules, but wit...
157
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
As a key approach to achieve energy efficiency in sensor networks, sensing coverage has been studied extensively. Researchers have designed many coverage protocols to provide vario...
144
Voted
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Spherical navigators are an attractive approach to motion compensation in Magnetic Resonance Imaging. Because they can be acquired quickly, spherical navigators have the potential ...
160
Voted
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...