Sciweavers

564 search results - page 66 / 113
» Some Results on the Expressive Power and Complexity of LSCs
Sort
View
JAIR
2010
115views more  JAIR 2010»
14 years 8 months ago
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
Raghav Aras, Alain Dutech
ICICS
2001
Springer
15 years 2 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
PLANX
2007
14 years 11 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
TSMC
2008
126views more  TSMC 2008»
14 years 9 months ago
Information Visualization for DNA Microarray Data Analysis: A Critical Review
Graphical representation may provide effective means of making sense of the complexity and sheer volume of data produced by DNA microarray experiments that monitor the expression p...
Leishi Zhang, J. Kuljis, Xiaohui Liu
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 4 months ago
Applying The Balanced Capacity Concept to DSL Systems
— This paper investigates a fair resource allocation method in crosstalk limited DSL (Digital Subscriber Line) systems. As a measure of fairness, the concept of Balanced Capacity...
Ali Kalakech, Jérôme Louveaux, Luc Va...