Sciweavers

2335 search results - page 321 / 467
» Type Checking Type Classes
Sort
View
113
Voted
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 25 days ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
146
Voted
ARTCOM
2009
IEEE
14 years 11 months ago
Adaptive Encoding Algorithm for Multispectral Images
A new adaptive multispectral image compression technique based on the regions identified is proposed. The algorithm is adaptive in the sense that according to the data type class ...
Deepa Sankarapandi
JMIV
2006
124views more  JMIV 2006»
15 years 29 days ago
Segmentation of a Vector Field: Dominant Parameter and Shape Optimization
Vector field segmentation methods usually belong to either of three classes: methods which segment regions homogeneous in direction and/or norm, methods which detect discontinuiti...
Tristan Roy, Eric Debreuve, Michel Barlaud, Gilles...

Book
411views
16 years 11 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
98
Voted
ICCV
2007
IEEE
16 years 3 months ago
Embedded Profile Hidden Markov Models for Shape Analysis
An ideal shape model should be both invariant to global transformations and robust to local distortions. In this paper we present a new shape modeling framework that achieves both...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas