3965 search results - page 421 / 793 » Effectivity of Regular Spaces |
192
click to vote
ISCA
2005
IEEE
16 years 14 days ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
200
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Constructive Induction is the process of transforming the original representation of hard concepts with complex interaction into a representation that highlights regularities. Mos...
199
click to vote
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
188
click to vote
ICA
2004
Springer
16 years 8 days ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...
190
click to vote
VISUALIZATION
2003
IEEE
16 years 4 days ago
2003
IEEE
Numerical particle simulations and astronomical observations create huge data sets containing uncorrelated 3D points of varying size. These data sets cannot be visualized interact...