5510 search results - page 400 / 1102 » Mathematics |
180
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
162
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
192
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
161
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
174
Voted
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...