560 search results - page 53 / 112 » A Measure of Space for Computing over the Reals |
152
click to vote
ICASSP
2008
IEEE
16 years 17 days ago
2008
IEEE
Using a recently developed real time audio camera, that uses the output of a spherical microphone array beamformer steered in all directions to create central projection to create...
178
click to vote
RECOMB
1999
Springer
15 years 10 months ago
1999
Springer
We consider the problem of identifying common three-dimensional substructures between proteins. Our method is based on comparing the shape of the α-carbon backbone structures of ...
170
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
153
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
182
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...