1285 search results - page 173 / 257 » Information systems revisited - the general continuous case |
182
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
General image retrieval is often carried out by a text-based search engine, such as Google Image Search. In this case, natural language queries are used as input to the search eng...
187
click to vote
MKM
2009
Springer
16 years 25 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
177
click to vote
SUM
2009
Springer
16 years 25 days ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
181
click to vote
INEX
2007
Springer
16 years 13 days ago
2007
Springer
In this paper, we document our efforts at INEX 2007 where we participated in the Ad Hoc Track, the Link the Wiki Track, and the Interactive Track that continued from INEX 2006. Ou...
209
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...