2573 search results - page 129 / 515 » Combinations of Modal Logics |
154
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
151
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a framework for combining automated and interactive visual analysis techniques for use on high-resolution biomechanical data. Analyzing the complex 3D motion o...
115
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
In this paper we present Geckos, a new type of tangible objects which are tracked using a Force-Sensitive Resistance sensor. Geckos are based on low-cost permanent magnets and can...
157
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
140
click to vote
STACS
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...