5122 search results - page 200 / 1025 » Comparing Consequence Relations |
125
Voted
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
140
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
123
click to vote
HAPTICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. We describe experiments that compared the perceived relative roughness of textured virtual walls synthesized with an accurately controlled haptic interface. Texture was m...
170
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
131
click to vote
AIME
2003
Springer
15 years 9 months ago
2003
Springer
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...