5355 search results - page 14 / 1071 » Modules |
67
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Partial Reconfiguration on heterogeneous Field Programmable Gate Arrays (FPGA) with millions of gates yields better utilization of resources by swapping in and out the active modu...
IEEEICCI
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper introduces a query-specific opinion summarization system: QOS. When input an opinion question, the system returns a summary with relevance to the opinion and target des...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper, we study the iterative detection problem for a coded system with multi-ary modulation. We show that, with iterative linear minimum-mean-square-error (LMMSE) detec...
IEAAIE
2004
Springer
2004
Springer
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots
15 years 3 months ago
Abstract. The Cognitive Controller (CoCo) is a new, three-tiered control architecture for autonomous agents that combines reactive and deliberative components. A behaviour-based re...