488 search results - page 76 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
145
click to vote
EC
2008
15 years 2 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 ...
120
click to vote
AGI
2008
15 years 3 months 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...
122
click to vote
ACL
2009
15 years 5 days 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...
135
click to vote
ACMACE
2004
ACM
15 years 7 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...
109
click to vote
ISI
2007
Springer
15 years 8 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...