3468 search results - page 349 / 694 » An open logical framework |
172
click to vote
GROUP
2009
ACM
15 years 4 months ago
2009
ACM
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...
223
click to vote
CSE
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
193
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
176
click to vote
GLVLSI
2005
IEEE
16 years 12 days ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
165
click to vote
DEXAW
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a framework for the management of multiple representations of georeferenced elements in a GIS environment. This solution is presented from a database perspecti...