2909 search results - page 17 / 582 » Consistency of the theory of contexts |
JGT
2007
14 years 11 months ago
2007
: A (directed) cycle C in a graph is called consistent provided there exists an automorphism of , acting as a 1-step rotation of C. A beautiful but not well-known result of J.H. Co...
JSYML
2007
14 years 11 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
107
click to vote
VMV
2001
15 years 1 months ago
2001
This paper presents an enhancement to current image-based rendering methods. It suggests that motion consistency can be used in a realtime dynamic rendering system to increase com...