Sciweavers

4397 search results - page 576 / 880
» Relational Algebra Operations
Sort
View
GW
2003
Springer
151views Biometrics» more  GW 2003»
15 years 9 months ago
Evaluating Multimodal Interaction Patterns in Various Application Scenarios
In this work, we present the results of a comparative user study evaluating multimodal user interactions with regard to two different operation scenarios: a desktop Virtual-Reality...
Frank Althoff, Gregor McGlaun, Manfred K. Lang, Ge...
136
Voted
STACS
2010
Springer
15 years 9 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
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...
Angelo Montanari, Pietro Sala, Guido Sciavicco
ISMVL
2010
IEEE
197views Hardware» more  ISMVL 2010»
15 years 9 months ago
On a Graded Notion of t-Norm and Dominance
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
Libor Behounek, Petr Cintula, Ulrich Bodenhofer, S...
146
Voted
HOTSWUP
2009
ACM
15 years 8 months ago
On Performance of Delegation in Java
Delegation is an important design concept in object-oriented languages. In contrast to inheritance, which relates classes to each other, delegation operates on the level of object...
Sebastian Götz, Mario Pukall
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 8 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...