3844 search results - page 269 / 769 » Modular interpreted systems |
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
145
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
121
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
154
click to vote
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
This work presents an approach to the automatic interpretation of the visual field to enable ophthalmology patients to be classified as glaucomatous and normal. The approach is bas...