Sciweavers

3971 search results - page 627 / 795
» On the Use of Properties in Java Applications
Sort
View
178
Voted
NDDL
2003
15 years 6 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere
171
Voted
WCE
2007
15 years 6 months ago
Applying EM Algorithm for Segmentation of Textured Images
— Texture analysis plays an increasingly important role in computer vision. Since the textural properties of images appear to carry useful information for discrimination purposes...
K. Revathy, V. S. Roshni
151
Voted
GLOBECOM
2008
IEEE
15 years 6 months ago
Blooming Trees for Minimal Perfect Hashing
Abstract—Hash tables are used in many networking applications, such as lookup and packet classification. But the issue of collisions resolution makes their use slow and not suit...
Gianni Antichi, Domenico Ficara, Stefano Giordano,...
144
Voted
ACTA
2010
87views more  ACTA 2010»
15 years 5 months ago
On the observational theory of the CPS-calculus
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
Massimo Merro
152
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 5 months ago
Fast Overlapping Group Lasso
The group Lasso is an extension of the Lasso for feature selection on (predefined) non-overlapping groups of features. The non-overlapping group structure limits its applicability...
Jun Liu, Jieping Ye