Sciweavers

9698 search results - page 363 / 1940
» models 2010
Sort
View
JUCS
2010
122views more  JUCS 2010»
15 years 5 months ago
PICTAC: A Model for Perceiving Touch Interaction through Tagging Context
: A natural interface is one of three key technologies of Ambient Intelligence (AmI); one of its main objectives is to minimize the user’s interactive effort, which is the diffic...
Gabriel Chavira, José Bravo, Salvador Wilfr...
169
Voted
ATAL
2010
Springer
15 years 8 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
157
Voted
ICASSP
2010
IEEE
15 years 7 months ago
Discriminative training methods for language models using conditional entropy criteria
This paper addresses the problem of discriminative training of language models that does not require any transcribed acoustic data. We propose to minimize the conditional entropy ...
Jui-Ting Huang, Xiao Li, Alex Acero
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
152
Voted
ACL
2010
15 years 4 months ago
Minimized Models and Grammar-Informed Initialization for Supertagging with Highly Ambiguous Lexicons
We combine two complementary ideas for learning supertaggers from highly ambiguous lexicons: grammar-informed tag transitions and models minimized via integer programming. Each st...
Sujith Ravi, Jason Baldridge, Kevin Knight