Sciweavers

1027 search results - page 41 / 206
» Progress on the Progressive Party Problem
Sort
View
ARITH
2009
IEEE
15 years 4 months ago
Challenges in Automatic Optimization of Arithmetic Circuits
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
Ajay K. Verma, Philip Brisk, Paolo Ienne
CSFW
2007
IEEE
15 years 4 months ago
Reasoning about Concurrency for Security Tunnels
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
Alwyn Goodloe, Carl A. Gunter
ICRA
2005
IEEE
161views Robotics» more  ICRA 2005»
15 years 3 months ago
Leveraging Limited Autonomous Mobility to Frame Attractive Group Photos
- Robot photographers have appeared in a variety of novelty settings over the past few years and typically have exploited rudimentary image-content-based approaches to identifying ...
Jason Campbell, Padmanabhan Pillai
VCIP
2001
110views Communications» more  VCIP 2001»
14 years 11 months ago
Lossless and near-lossless image compression with successive refinement
We present a technique that provides progressive transmission and near-lossless compression in one single framework. The proposed technique produces a bitstream that results in pr...
Ismail Avcibas, Nasir D. Memon, Bülent Sankur...
IPL
2008
80views more  IPL 2008»
14 years 9 months ago
A simpler competitive analysis for scheduling equal-length jobs on one machine with restarts
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
Michael H. Goldwasser, Arundhati Bagchi Misra