2647 search results - page 137 / 530 » Solving Term Inequalities |
214
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
XML database systems are expected to handle increasingly complex queries over increasingly large and highly structured XML databases. An important problem that needs to be solved ...
144
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Many real-world problems demand a feasible solution to satisfy physical equilibrium, stability, or certain properties which require an additional lower level optimization probl...
136
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
117
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
146
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...