Sciweavers

1414 search results - page 144 / 283
» Combining Intruder Theories
Sort
View
AAAI
2010
15 years 2 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
LREC
2010
171views Education» more  LREC 2010»
15 years 2 months ago
AutoTagTCG : A Framework for Automatic Thai CG Tagging
Recently, categorical grammar has been focused as a powerful grammar. This paper aims to develop a framework for automatic CG tagging for Thai. We investigated two main algorithms...
Thepchai Supnithi, Taneth Ruangrajitpakorn, Kanoko...
ICMLA
2008
15 years 2 months ago
Adaptive Control of Antilock Braking System Using Grey Multilayer Feedforward Neural Networks
In this paper, a grey neuro-adaptive control algorithm is suggested for Antilock Braking Systems (ABS). The concept of grey system theory, which has a certain prediction capabilit...
Erdal Kayacan, Yesim Oniz, Okyay Kaynak, Andon V. ...
111
Voted
NIPS
2008
15 years 2 months ago
Sparse Signal Recovery Using Markov Random Fields
Compressive Sensing (CS) combines sampling and compression into a single subNyquist linear measurement process for sparse and compressible signals. In this paper, we extend the th...
Volkan Cevher, Marco F. Duarte, Chinmay Hegde, Ric...
102
Voted
ISIM
2007
15 years 2 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý