7289 search results - page 8 / 1458 » A Dependent Set Theory |
BSL
2000
13 years 7 months ago
2000
We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially or...
CIKM
1997
Springer
13 years 12 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, a new method is proposed for delay and Doppler estimation using copula theory. Copula analysis helps to explore the underlying inter-dependence between the desired ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...