11784 search results - page 2103 / 2357 » Improving Software Process Improvement |
302
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
122
click to vote
GIR
2008
ACM
15 years 6 months ago
2008
ACM
We conduct large-scale search engine relevance experiments, using the 12% of queries that contain placenames, matching the placenames to places in the documents, and examining the...
125
Voted
HAIS
2008
Springer
15 years 6 months ago
2008
Springer
Energy saving systems are needed to reduce the energy taxes, so the electric energy remains balanced. In Spain, a local company that produces electric heaters needs an energy savin...
150
click to vote
AIPS
2010
15 years 5 months ago
2010
Greedy search is commonly used in an attempt to generate solutions quickly at the expense of completeness and optimality. In this work, we consider learning sets of weighted actio...
124
click to vote
ENTCS
2008
15 years 5 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...