260 search results - page 6 / 52 » Range and Set Abstraction using SAT |
NETWORKING
2010
13 years 9 months ago
2010
Abstract. Packet classification is a fundamental task for network devices such as edge routers, firewalls, and intrusion detection systems. Currently, most vendors use Ternary Cont...
DAGM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
DAGSTUHL
2008
13 years 9 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
P2P
2005
IEEE
14 years 1 months ago
2005
IEEE
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— The problem of place recognition appears in different mobile robot navigation problems including localization, SLAM, or change detection in dynamic environments. Wherea...