5255 search results - page 683 / 1051 » Formal Methods for Privacy |
163
click to vote
SPEECH
2010
15 years 1 months ago
2010
This article describes the preparation, recording and orthographic transcription of a new speech corpus, the Nijmegen Corpus of Casual French (NCCFr). The corpus contains a total ...
179
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
We present a rhythm-based method for the automatic generation of levels for 2D platformers, where the rhythm is that which the player feels with his hands while playing. Levels ar...
161
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
178
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
245
Voted
CAV
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...