9284 search results - page 489 / 1857 » Knowledge State Algorithms |
181
click to vote
RECOMB
2007
Springer
16 years 8 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
190
click to vote
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
210
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider an uplink power control problem where each mobile wishes to maximize its throughput (which depends on the transmission powers of all mobiles) but has a constraint o...
182
click to vote
ICTAI
2005
IEEE
16 years 1 months ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
175
click to vote
ASPDAC
2004
ACM
16 years 1 months ago
2004
ACM
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...