3954 search results - page 66 / 791 » Image-based Model Completion |
NIPS
2000
15 years 3 months ago
2000
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...
148
click to vote
ENTCS
2006
15 years 2 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
126
Voted
ECML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Existing relational learning approaches usually work on complete relational data, but real-world data are often incomplete. This paper proposes the MGDA approach to learn...
159
Voted
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
194
Voted
ICDCSW
2011
IEEE
14 years 2 months ago
2011
IEEE
Datacenter workload modeling has become a necessity in recent years due to the emergence of large-scale applications and cloud data-stores, whose implementation remains largely un...