2107 search results - page 114 / 422 » b 2007 |
160
click to vote
ACS
2005
15 years 6 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
166
click to vote
AAAI
2007
15 years 8 months ago
2007
Coordinating a group of robots to work in formation has been suggested for a number of tasks, such as urban searchand-rescue, traffic control, and harvesting solar energy. Algorit...
150
click to vote
DSS
2007
15 years 6 months ago
2007
Intelligence analysts construct hypotheses from large volumes of data, but are often limited by social and organizational norms and their own preconceptions and biases. The use of...
131
click to vote
ACS
2007
15 years 6 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
181
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
We present an on-line learning framework tailored towards real-time learning from observed user behavior in search engines and other information retrieval systems. In particular, ...