2909 search results - page 46 / 582 » Consistency of the theory of contexts |
133
click to vote
WOLLIC
2010
Springer
15 years 9 days ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...
JAR
1998
15 years 1 months ago
1998
In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard...
107
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The advent of the Internet has made the transmission of personally identifiable information common and often inadvertent to the user. As a consequence, individuals worry that comp...
JASIS
2008
15 years 1 months ago
2008
Gatekeeping theories have been a popular heuristic for describing information control for years, but none have attained a full theoretical status in the context of networks. This ...
118
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
We discuss and reflect on the importance of embodiment, context, and spatial proximity as they pertain to the sense of presence obtained by individuals in virtual environments. We...