Sciweavers

12981 search results - page 2111 / 2597
» Model Checking (Abstract)
Sort
View
PKDD
2010
Springer
179views Data Mining» more  PKDD 2010»
15 years 5 months ago
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-Like Exploration
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
Tobias Jung, Peter Stone
SEMWEB
2010
Springer
15 years 5 months ago
A Feature and Information Theoretic Framework for Semantic Similarity and Relatedness
Abstract. Semantic similarity and relatedness measures between ontology concepts are useful in many research areas. While similarity only considers subsumption relations to assess ...
Giuseppe Pirrò, Jérôme Euzenat
TSD
2010
Springer
15 years 4 months ago
Automatic Detection and Evaluation of Edentulous Speakers with Insufficient Dentures
Abstract. Dental rehabilitation by complete dentures is a state-of-the-art approach to improve functional aspects of the oral cavity of edentulous patients. It is important to assu...
Tobias Bocklet, Florian Hönig, Tino Haderlein...
WOTE
2010
15 years 4 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
CDC
2009
IEEE
210views Control Systems» more  CDC 2009»
15 years 4 months ago
On maximum lifetime routing in Wireless Sensor Networks
Abstract-- Lifetime maximization is an important optimization problem specific to Wireless Sensor Networks (WSNs) since they operate with limited energy resources which are therefo...
Xu Ning, Christos G. Cassandras
« Prev « First page 2111 / 2597 Last » Next »