4126 search results - page 304 / 826 » Set based logic programming |
213
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
197
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
203
click to vote
ICMLA
2010
15 years 4 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
177
click to vote
HASE
2005
IEEE
16 years 24 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
227
click to vote
CA
2003
IEEE
16 years 15 days ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...