48 search results - page 7 / 10 » Law of series |
JLP
2011
14 years 11 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
BIOINFORMATICS
2002
14 years 9 months ago
2002
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
76
Voted
AUTOMATICA
2005
14 years 9 months ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
IPMI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Preparations for Y2K reminded the software engineering community of the extent to which long-lived software systems are embedded in our daily environments. As systems are maintain...