4491 search results - page 218 / 899 » Algorithm Engineering |
129
Voted
EUROGP
2003
Springer
15 years 7 months ago
2003
Springer
The properties of engineering structures such as cars, cell phones or bridges rely on materials and on the properties of these materials. The study of these properties, which are d...
126
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
We build a probabilistic model to identify implicit local intent queries, and leverage user’s physical location to improve Web search results for these queries. Evaluation on co...
110
Voted
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
135
click to vote
FSTTCS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
108
Voted
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...