Sciweavers

2372 search results - page 189 / 475
» Probabilistic calling context
Sort
View
WMTE
2006
IEEE
16 years 28 days 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
16 years 27 days 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...
CAV
2005
Springer
110views Hardware» more  CAV 2005»
16 years 14 days 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
16 years 13 days 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
16 years 10 days 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...