Sciweavers

1122 search results - page 63 / 225
» Behavioral Extensions of Institutions
Sort
View
ICIP
2002
IEEE
15 years 11 months ago
Rate-distortion optimized image compression using wedgelets
Most wavelet-based image coders fail to model the joint coherent behavior of wavelet coefficients near edges. Wedgelets offer a convenient parameterization for the edges in an ima...
Justin K. Romberg, Michael B. Wakin, Hyeokho Choi,...
ICSE
2005
IEEE-ACM
15 years 10 months ago
Testing database transactions with AGENDA
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
Yuetang Deng, Phyllis G. Frankl, David Chays
POLICY
2009
Springer
15 years 4 months ago
The Zodiac Policy Subsystem: A Policy-Based Management System for a High-Security MANET
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
Yuu-Heng Cheng, Mariana Raykova, Alexander Poylish...
IROS
2007
IEEE
127views Robotics» more  IROS 2007»
15 years 4 months ago
Dynamic redistribution of a swarm of robots among multiple sites
Abstract— We present an approach for the dynamic assignment and reassignment of a large team of homogeneous robotic agents to multiple locations with applications to search and r...
Ádám M. Halász, M. Ani Hsieh,...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 4 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps