1941 search results - page 28 / 389 » Reasoning about Computations Using Two-Levels of Logic |
106
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
123
click to vote
UAI
2008
15 years 3 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
113
click to vote
TOPLAS
2010
15 years 8 days ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
107
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
134
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...