2448 search results - page 220 / 490 » The Octahedron Abstract Domain |
84
Voted
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
108
click to vote
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
76
Voted
ECML
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we review the task of inductive process modeling, which uses domain knowledge to compose explanatory models of continuous dynamic systems. Next we discuss ...
102
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...