9989 search results - page 173 / 1998 » A CLP Approach to Modelling Systems |
149
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
138
click to vote
CORR
2012
Springer
14 years 18 days ago
2012
Springer
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
346
click to vote
RECOMB
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...
128
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
109
click to vote
SLP
1989
15 years 6 months ago
1989
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...