Sciweavers

27692 search results - page 106 / 5539
» Where is ...
Sort
View
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
13 years 7 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
ICIP
2010
IEEE
13 years 6 months ago
Local two-channel critically sampled filter-banks on graphs
In this paper, we propose two-channel filter-bank designs for signals defined on arbitrary graphs. These filter-banks are local, invertible and critically sampled. Depending on th...
Sunil K. Narang, Antonio Ortega
WINE
2010
Springer
213views Economy» more  WINE 2010»
13 years 6 months ago
The Efficiency of Fair Division with Connected Pieces
der the issue of fair division of goods, using the cake cutting abstraction, and aim to bound the possible degradation in social welfare due to the fairness requirements. Previous...
Yonatan Aumann, Yair Dombb
ICSE
2009
IEEE-ACM
13 years 6 months ago
Selective backtracking of model changes
Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or versio...
Iris Groher, Alexander Egyed
CPC
2010
101views more  CPC 2010»
13 years 6 months ago
Area Limit Laws for Symmetry Classes of Staircase Polygons
We derive area limit laws for the various symmetry classes of staircase polygons on the square lattice, in a uniform ensemble where, for fixed perimeter, each polygon occurs with ...
Uwe Schwerdtfeger, C. Richard, B. Thatte