1026 search results - page 73 / 206 » A Methodology for Equational Reasoning |
CADE
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
FLAIRS
2004
13 years 10 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper presents a new approach to the tracking of regions in an image sequence. Unlike most other methods, the proposed approach can handle topology changes, i.e., regions may...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
A new methodology is presented to assure numerically reliable integration of the magnetisation slope in the JilesAtherton model of ferromagnetic core hysteresis. Two HDL implement...