Sciweavers

4047 search results - page 469 / 810
» The Discrete Basis Problem
Sort
View
200
Voted
WORDS
2005
IEEE
16 years 9 days ago
Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks
Wireless devices that communicate using the IEEE 802.11 protocol can be used to create mobile ad-hoc networks (MANETs). Many interesting applications using MANETs are realizable i...
Min-Gu Lee, Sunggu Lee
ESOP
2005
Springer
16 years 7 days ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
190
Voted
ICN
2005
Springer
16 years 7 days ago
A Practical and Secure Communication Protocol in the Bounded Storage Model
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
Erkay Savas, Berk Sunar
212
Voted
MICCAI
2005
Springer
16 years 6 days ago
Comparison of Simultaneous and Sequential Two-View Registration for 3D/2D Registration of Vascular Images
Accurate 3D/2D vessel registration is complicated by issues of image quality, occlusion, and other problems. This study performs a quantitative comparison of 3D/2D vessel registrat...
Chetna Pathak, Mark H. Van Horn, Susan Weeks, Eliz...
ATAL
2005
Springer
16 years 5 days ago
On possibilistic case-based reasoning for selecting partners for multi-attribute agent negotiation
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...
Jakub Brzostowski, Ryszard Kowalczyk