2526 search results - page 337 / 506 » A New Algorithm for Answer Set Computation |
153
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
We address the problem of jamming-resistant communication in scenarios in which the communicating parties do not share secret keys. This includes scenarios where the communicating...
172
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
We describe several cryptographic schemes in quadratic function fields of odd characteristic. In both the real and the imaginary representation of such a field, we present a Diffi...
178
Voted
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Estimating the pose of an imaging sensor is a central research problem. Many solutions have been proposed for the case of a rigid environment. In contrast, we tackle the case of a...
178
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
161
click to vote
ASE
2005
15 years 6 months ago
2005
As devices become smaller and wireless networking technologies improve, the popularity of mobile computing continues to rise. In today's world, many consider devices such as c...