73 search results - page 2 / 15 » The Nuprl Open Logical Environment |
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
FUIN
2008
13 years 5 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...