1364 search results - page 188 / 273 » Comparative Branching-Time Semantics |
119
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...
160
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
115
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...
135
Voted
WAPCV
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
135
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...