Sciweavers

1576 search results - page 205 / 316
» Streaming Algorithms for Independent Sets
Sort
View
LICS
2007
IEEE
15 years 11 months ago
Relational Parametricity for Computational Effects
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
Rasmus Ejlers Møgelberg, Alex Simpson
139
Voted
DIS
2007
Springer
15 years 10 months ago
Unsupervised Spam Detection Based on String Alienness Measures
We propose an unsupervised method for detecting spam documents from Web page data, based on equivalence relations on strings. We propose 3 measures for quantifying the alienness (...
Kazuyuki Narisawa, Hideo Bannai, Kohei Hatano, Mas...
131
Voted
ACCV
2006
Springer
15 years 10 months ago
General Specular Surface Triangulation
We present a method for the reconstruction of a specular surface, using a single camera viewpoint and the reflection of a planar target placed at two different positions. Contrar...
Thomas Bonfort, Peter F. Sturm, Pau Gargallo
118
Voted
ASPDAC
2006
ACM
116views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Post-routing redundant via insertion for yield/reliability improvement
- Reducing the yield loss due to via failure is one of the important problems in design for manufacturability. A well known and highly recommended method to improve via yield/relia...
Kuang-Yao Lee, Ting-Chi Wang
CSMR
2005
IEEE
15 years 10 months ago
Tracing Cross-Cutting Requirements via Context-Based Constraints
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
Felix Bübl, Michael Balser