1729 search results - page 214 / 346 » Generic Haskell: Applications |
168
click to vote
IANDC
2010
15 years 4 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
173
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
In the last decades, Digital Rights Management (DRM) technology has been laid emphasis on digital contents protection and related security policies, mechanisms and implementation....
148
click to vote
LOGCOM
2010
15 years 4 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
162
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a shape descriptor for 3D ear impressions, derived from a comprehensive set of anatomical features. Motivated by hearing aid (HA) manufacturing, the selection ...
189
click to vote
CG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Monte-Carlo Tree Search algorithm has been successfully applied in various domains. However, its performance heavily depends on the Monte-Carlo part. In this paper, w...