6020 search results - page 895 / 1204 » A New Approach to Model Counting |
185
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents a new QoS guarantee scheme called R-(m,k)-firm (Relaxed-(m,k)-firm) which provides the guarantee on transmission delay of at least m out of any k consecutive p...
179
click to vote
ICPP
2006
IEEE
16 years 19 days ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...
183
click to vote
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
159
click to vote
ICCV
2005
IEEE
16 years 6 days ago
2005
IEEE
The space of images is known to be a non-linear subspace that is difficult to model. This paper derives an algorithm that walks within this space. We seek a manifold through the ...
189
click to vote
SEUS
2005
IEEE
16 years 5 days ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...