3052 search results - page 219 / 611 » A community-aware search engine |
167
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
201
Voted
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
210
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper explores techniques for evaluating and improving immersion in Desktop Virtual Reality (VR). Three experiments are reported which extend findings on immersion in VR repo...
199
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
329
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Search engine technology plays an important role in Web information retrieval. However, with Internet information explosion, traditional searching techniques cannot provide satisfa...