Sciweavers

1657 search results - page 301 / 332
» Subjective Mapping
Sort
View
148
Voted
PASTE
2005
ACM
15 years 8 months ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen
140
Voted
PLDI
2005
ACM
15 years 8 months ago
Register allocation for software pipelined multi-dimensional loops
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
Hongbo Rong, Alban Douillet, Guang R. Gao
113
Voted
SIGIR
2005
ACM
15 years 8 months ago
Gravitation-based model for information retrieval
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
Shuming Shi, Ji-Rong Wen, Qing Yu, Ruihua Song, We...
CIKM
2005
Springer
15 years 8 months ago
Person resolution in person search results: WebHawk
Finding information about people on the Web using a search engine is difficult because there is a many-to-many mapping between person names and specific persons (i.e. referents). ...
Xiaojun Wan, Jianfeng Gao, Mu Li, Binggong Ding
138
Voted
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 8 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...