4491 search results - page 252 / 899 » Algorithm Engineering |
127
click to vote
PVLDB
2008
15 years 2 months ago
2008
The Deep Web, i.e., content hidden behind HTML forms, has long been acknowledged as a significant gap in search engine coverage. Since it represents a large portion of the structu...
121
click to vote
CGO
2004
IEEE
15 years 6 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
135
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
100
click to vote
IEEEVAST
2010
14 years 9 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
104
click to vote
CACM
2007
15 years 2 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...