1263 search results - page 203 / 253 » A* with Bounded Costs |
AAAI
1998
13 years 9 months ago
1998
The problem of recognizing mathematical expressions differs significantly from the recognition of standard prose. While in prose significant constraints can be put on the interpre...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
DEXAW
2010
IEEE
13 years 9 months ago
2010
IEEE
Given a set of keywords, we find a maximum Web query (containing the most keywords possible) that respects userdefined bounds on the number of returned hits. We assume a real-world...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Probabilistic model building methods can render difficult problems feasible by identifying and exploiting dependencies. They build a probabilistic model from the statistical prope...