Sciweavers

4591 search results - page 494 / 919
» The Global Computer
Sort
View
ICMCS
2007
IEEE
128views Multimedia» more  ICMCS 2007»
16 years 2 months ago
Interactive Visualization Tool with Graphic Table of Video Contents
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
Hervé Goeau, Jérôme Thiè...
ISQED
2007
IEEE
254views Hardware» more  ISQED 2007»
16 years 2 months ago
An Aggregation-Based Algebraic Multigrid Method for Power Grid Analysis
ct This paper develops an aggregation-based algebraic multigrid (AbAMG) method to efficiently analyze the power grids. Different from the conventional algebraic multigrid (AMG) sc...
Pei-Yu Huang, Huan-Yu Chou, Yu-Min Lee
LICS
2007
IEEE
16 years 2 months ago
Light Logics and Optimal Reduction: Completeness and Complexity
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
LICS
2007
IEEE
16 years 2 months ago
Tractability and learnability arising from algebras with few subpowers
A k-edge operation ϕ on a finite set A is a k + 1-ary operation that satisfies the identities ϕ(x, x, y, . . . , y) ≈ ϕ(x, y, x, y, . . . , y) ≈ y and ϕ(y, y, y, x, y, ....
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, M...
WACV
2007
IEEE
16 years 1 months ago
Threshold-based 3D Tumor Segmentation using Level Set (TSL)
Three-dimensional segmentation is reliable approach to achieve a proper estimation of tumor volume. Among all possible methods for this purpose, level set can be used as a powerfu...
Sima Taheri, Sim Heng Ong, Vincent Chong