497 search results - page 64 / 100 » Symmetry within and between solutions |
124
click to vote
AAAI
2007
15 years 4 months ago
2007
In this paper, we propose to mine query hierarchies from clickthrough data, which is within the larger area of automatic acquisition of knowledge from the Web. When a user submits...
113
click to vote
AAAI
2007
15 years 4 months ago
2007
My research focus is on using continuous state partially observable Markov decision processes (POMDPs) to perform object manipulation tasks using a robotic arm. During object mani...
114
click to vote
ASAP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a multiprocessor system on FPGA that adopts Direct Memory Access (DMA) mechanisms to move data between the external memory and the local memory of each process...
116
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Solutions to complex tasks often require the cooperation of multiple robots, however, developing multi-robot policies can present many challenges. In this work, we introduce teach...
119
click to vote
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...