Sciweavers

8009 search results - page 55 / 1602
» cans 2005
Sort
View
JAPLL
2007
117views more  JAPLL 2007»
15 years 4 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
DAC
2012
ACM
13 years 6 months ago
ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement
We develop a projected-subgradient primal-dual Lagrange optimization for global placement, that can be instantiated with a variety of interconnect models. It decomposes the origin...
Myung-Chul Kim, Igor L. Markov
ISAAC
2005
Springer
111views Algorithms» more  ISAAC 2005»
15 years 9 months ago
Boosting Spectral Partitioning by Sampling and Iteration
A partition of a set of n items is a grouping of the items into k disjoint classes of equal size. Any partition can be modeled as a graph: the items become the vertices of the grap...
Joachim Giesen, Dieter Mitsche
ICMCS
2005
IEEE
134views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Fast Rotation Center Identification Methods for Video Sequences
Rotational motion can often be seen in video. However, comparatively little research has been done to investigate rotational motions in video, whose analysis could be useful. For ...
Ka Yan Wong, Chi Lap Yip
CVPR
2005
IEEE
16 years 6 months ago
Analytically Solving Radial Distortion Parameters
Most camera calibration algorithms consider parameters that define the lens distortion mapping. The usual way to determine these parameters is to minimize a nonlinear optimization...
Simone Graf, Tobias Hanning