8068 search results - page 1181 / 1614 » Java Data Objects |
194
Voted
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
142
click to vote
COMPGEOM
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression issues, the fo...
282
click to vote
MICCAI
2010
Springer
15 years 10 months ago
2010
Springer
While there has been substantial progress in segmenting natural im-
ages, state-of-the-art methods that perform well in such tasks unfortunately tend
to underperform ...
167
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a texture-based segmentation approach using wavelet packets, co-occurrence matrices and normalised modified histogram thresholding is discussed and developed. Back...
134
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The Scientific Annotation Middleware (SAM) is a set of components and services that enable researchers, applications, problem solving environments (PSE) and software agents to cre...