488 search results - page 76 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
110
click to vote
EC
2008
14 years 11 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
AGI
2008
15 years 16 days ago
2008
A teaching methodology called Imitative-Reinforcement-Corrective (IRC) learning is described, and proposed as a general approach for teaching embodied non-linguistic AGI systems. I...
ACL
2009
14 years 9 months ago
2009
Current tree-to-tree models suffer from parsing errors as they usually use only 1best parses for rule extraction and decoding. We instead propose a forest-based tree-to-tree model...
ACMACE
2004
ACM
15 years 4 months ago
2004
ACM
This paper describes a case study of VR platform Magic Mirror and its applications that are economic in development process and cost, flexible by contents and installation conditi...
ISI
2007
Springer
15 years 5 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...