7890 search results - page 159 / 1578 » The MathSAT 3 System |
136
Voted
ML
1998
ACM
15 years 4 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
147
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
148
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
145
Voted
IEICET
2006
15 years 5 months ago
2006
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
152
click to vote
MST
2008
15 years 5 months ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...