1410 search results - page 187 / 282 » Proving theorems by reuse |
170
click to vote
JAR
2007
15 years 5 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
153
click to vote
AIR
2004
15 years 5 months ago
2004
This paper presents an alternative to the `speech acts with STRIPS' approach to implementing dialogue: a fully implemented AI planner which generates and analyses the semantic...
171
click to vote
FAC
2000
15 years 5 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
152
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
Two models for an age-structured nonlimited population dynamics with maternal care of offspring are presented. One of them deals with a bisexual population and includes a harmonic ...
146
click to vote
JSYML
2000
15 years 5 months ago
2000
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...