Sciweavers

2600 search results - page 299 / 520
» Clustering with or without the Approximation
Sort
View
161
Voted
ICMCS
1998
IEEE
157views Multimedia» more  ICMCS 1998»
15 years 10 months ago
Compressed Domain Transcoding of MPEG
Current video compression formats optimize for either compression or editing. For example, motion-JPEG (MJPEG) provides excellent random access and moderate overall compression, w...
Soam Acharya, Brian C. Smith
EPS
1997
Springer
15 years 10 months ago
Tracking Extrema in Dynamic Environments
Typical applications of evolutionary optimization involve the off-line approximation of extrema of static multi-modal functions. Methods which use a variety of techniques to self-...
Peter J. Angeline
DAC
1996
ACM
15 years 10 months ago
Using Articulation Nodes to Improve the Efficiency of Finite-Element based Resistance Extraction
In this paper, we describe how we have improved the efficiency of a finite-element method for interconnect resistance extraction by introducingarticulation nodes in the finiteelem...
Arjan J. van Genderen, N. P. van der Meijs
ITP
2010
164views Mathematics» more  ITP 2010»
15 years 10 months ago
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
Jasmin Christian Blanchette, Tobias Nipkow
GLOBECOM
2009
IEEE
15 years 10 months ago
Fair Energy-Efficient Resource Allocation over Fading TDMA Channels
In this paper, we consider the energy-efficient resource allocation that minimizes a general cost function of average user powers in wireless networks. A class of so-called -fair c...
Xin Wang, Di Wang, Hanqi Zhuang, Salvatore D. Morg...