660 search results - page 17 / 132 » The Implicit Calculus of Constructions |
ER
2005
Springer
14 years 3 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
DELOS
2001
13 years 11 months ago
2001
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
JSCIC
2007
13 years 9 months ago
2007
In this work a new class of numerical methods for the BGK model of kinetic equations is presented. In principle, schemes of any order of accuracy in both space and time can be con...
SIAMSC
2010
13 years 8 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...