4930 search results - page 590 / 986 » Learning minimal abstractions |
195
Voted
NIPS
2008
15 years 8 months ago
2008
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
234
Voted
MLMTA
2003
15 years 8 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
331
Voted
ML
2011
ACM
15 years 1 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
206
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
178
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...