922 search results - page 37 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
134
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
110
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
149
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
106
Voted
EJC
2000
15 years 1 months ago
2000
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
ICRA
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...