Sciweavers

1097 search results - page 157 / 220
» Partial evaluation of Maple
Sort
View
ICLP
2010
Springer
15 years 1 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
ICC
2007
IEEE
146views Communications» more  ICC 2007»
15 years 1 months ago
Downlink MIMO Systems Using Cooperation Among Base Stations in a Slow Fading Channel
To increase the achievable sum rate of downlink MIMO (Multiple Input Multiple Output) systems, the cooperation among Base Stations (BS) is investigated in a slow fading channel. Th...
Tsuyoshi Tamaki, Kibeom Seong, John M. Cioffi
AI
2006
Springer
15 years 1 months ago
Belief Selection in Point-Based Planning Algorithms for POMDPs
Abstract. Current point-based planning algorithms for solving partially observable Markov decision processes (POMDPs) have demonstrated that a good approximation of the value funct...
Masoumeh T. Izadi, Doina Precup, Danielle Azar
ATAL
2006
Springer
15 years 1 months ago
Solving POMDPs using quadratically constrained linear programs
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
Christopher Amato, Daniel S. Bernstein, Shlomo Zil...
CSB
2004
IEEE
108views Bioinformatics» more  CSB 2004»
15 years 1 months ago
Embedded Computation of Maximum-Likelihood Phylogeny Inference Using Platform FPGA
Our previous work to accelerate phylogeny inference using HW/SW(Hardware/Software) co-design has recently been extended to a more powerful embedded computing platform. In this pla...
Terrence S. T. Mak, Kai-Pui Lam