6020 search results - page 485 / 1204 » A New Approach to Model Counting |
219
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
204
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Realistic audio-visual mapping remains a very challenging problem. Having short time delay between inputs and outputs is also of great importance. In this paper, we present a new ...
165
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
One recent approach to build highly scalable and robust networked virtual environments (NVEs) is by using peer-to-peer overlay networks. Voronoi-based Overlay Network (VON) has be...
195
click to vote
3DIM
2005
IEEE
16 years 20 days ago
2005
IEEE
The computational cost of a collision detection (CD) algorithm on polygonal surfaces depends highly on the complexity of the models. A novel “locally refined” approach is intr...
224
click to vote
ACMICEC
2004
ACM
16 years 14 days ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...