Sciweavers

2372 search results - page 189 / 475
» Probabilistic calling context
Sort
View
WMTE
2006
IEEE
15 years 9 months ago
JAMIOLAS: Supporting Japanese Mimicry and Onomatopoeia Learning with Sensors
  This  paper  proposes  a  computer  supported  ubiquitous  learning  environment  for  language  learning.  Especially,  this  paper  describes  context­  awar...
Hiroaki Ogata, Chengjiu Yin, Yoneo Yano
ITICSE
2006
ACM
15 years 9 months ago
IREEL: remote experimentation with real protocols and applications over emulated network
: This paper presents a novel e­learning platform  called   IREEL.   IREEL   is   a   virtual   laboratory   allowing  students to drive experiments with real...
Laurent Dairaine, Ernesto Exposito, Guillaume Jour...
132
Voted
CAV
2005
Springer
110views Hardware» more  CAV 2005»
15 years 9 months ago
Extended Weighted Pushdown Systems
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
ISCIS
2005
Springer
15 years 9 months ago
Recovering the Lattice of Repetitive Sub-functions
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ARGMAS
2004
Springer
15 years 9 months ago
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...