4266 search results - page 573 / 854 » A Framework for Defining Logics |
176
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we argue that only using behavioural motion information, we are able to predict the interest of observers when looking at face-to-face interactions. We propose a set...
174
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
Topological relations are sometimes insufficient for differentiating spatial configurations of two objects with critical difference in their connection styles. In this paper, we pr...
176
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
165
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
149
click to vote
COMCOM
2010
15 years 6 months ago
2010
A new method of estimating some statistical characteristics of TCP flows in the Internet is developed in this paper. For this purpose, a new set of random variables (referred to as...