1174 search results - page 53 / 235 » Derivation of Characteristic Formulae |
123
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
120
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
103
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper investigates string stability issues in homogeneous strings of strictly proper feedback control systems with unidirectional nearest neighbour communications, using o...
125
click to vote
CSC
2006
15 years 5 months ago
2006
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
133
Voted
FIMI
2003
15 years 5 months ago
2003
We will discuss , the depth first implementation of APRIORI as devised in 1999 (see [8]). Given a database, this algorithm builds a trie in memory that contains all frequent item...