2143 search results - page 286 / 429 » Linking Representation with Meaning |
222
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
177
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
137
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
This paper surveys the area of biological and genomic sources integration, which has recently become a major focus of the data integration research field. The challenges that an i...
172
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
This paper presents a new technique to segment objects of interest from cluttered background with varying edge densities and illumination conditions from gray scale imagery. An op...
145
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
A method for demonstrating and enumerating uniformly efficient (permutation-optimal) trellis decoders for self-dual codes of high minimum distance is developed. Such decoders and c...