1588 search results - page 137 / 318 » On the Logic of Constitutive Rules |
172
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
176
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
127
click to vote
GMP
2006
IEEE
16 years 13 days ago
2006
IEEE
We present a new class of non-stationary, interpolatory subdivision schemes that can exactly reconstruct parametric surfaces including exponential polynomials. The subdivision rule...
160
click to vote
ICSM
2006
IEEE
16 years 13 days ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
171
click to vote
ISORC
2006
IEEE
16 years 12 days ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...