Sciweavers

10042 search results - page 1382 / 2009
» Interactive Topic Modeling
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CACM
2004
88views more  CACM 2004»
15 years 7 months ago
Natural development of ubiquitous interfaces
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
Silvia Berti, Fabio Paternò, Carmen Santoro
222
Voted
CORR
2004
Springer
133views Education» more  CORR 2004»
15 years 7 months ago
Mathematical Analysis of Multi-Agent Systems
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
Kristina Lerman, Aram Galstyan, Tad Hogg
COLING
2000
15 years 7 months ago
Integrating Text Planning and Linguistic Choice Without Abandoning Modularity: The IGEN Generator
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
Robert Rubinoff
JUCS
2010
217views more  JUCS 2010»
15 years 5 months ago
The 3A Personalized, Contextual and Relation-based Recommender System
Abstract: This paper discusses the 3A recommender system that targets CSCL (computersupported collaborative learning) and CSCW (computer-supported collaborative work) environments....
Sandy El Helou, Christophe Salzmann, Denis Gillet
« Prev « First page 1382 / 2009 Last » Next »