8874 search results - page 1543 / 1775 » A New Implementation of Automath |
214
click to vote
SIGIR
2005
ACM
16 years 25 days ago
2005
ACM
We introduce a new model for semantic annotation and retrieval from image databases. The new model is based on a probabilistic formulation that poses annotation and retrieval as c...
212
click to vote
WOSP
2005
ACM
16 years 24 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
255
click to vote
WOWMOM
2005
ACM
16 years 24 days ago
2005
ACM
Ad-hoc wireless networks with multi-rate radios (such as 802.11a, b, g) require a new class of MAC/PHY aware metrics that take into account factors such as physical-layer link spe...
234
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
199
click to vote
ECML
2005
Springer
16 years 24 days ago
2005
Springer
ABSTRACT. Estimating a non-uniformly sampled function from a set of learning points is a classical regression problem. Kernel methods have been widely used in this context, but eve...