560 search results - page 53 / 112 » A Measure of Space for Computing over the Reals |
168
click to vote
ICASSP
2008
IEEE
16 years 1 months 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...
204
click to vote
RECOMB
1999
Springer
15 years 11 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 ...
178
Voted
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...
161
Voted
CIKM
1999
Springer
15 years 11 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...
206
click to vote
LPAR
2005
Springer
16 years 7 days 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...