Sciweavers

826 search results - page 97 / 166
» What Triggers a Behavior
Sort
View
LISP
2008
101views more  LISP 2008»
15 years 4 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
NJC
2000
99views more  NJC 2000»
15 years 4 months ago
An Incremental Unique Representation for Regular Trees
In order to deal with infinite regular trees (or other pointed graph structures) efficiently, we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne
VL
2010
IEEE
286views Visual Languages» more  VL 2010»
15 years 2 months ago
A Debugging Perspective on End-User Mashup Programming
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...
Jill Cao, Kyle Rector, Thomas H. Park, Scott D. Fl...
IAT
2010
IEEE
15 years 2 months ago
Design and Evaluation of Explainable BDI Agents
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...
148
Voted
SIGDIAL
2010
15 years 2 months ago
Don't tell anyone! Two Experiments on Gossip Conversations
The purpose of this study is to get a working definition that matches people's intuitive notion of gossip and is sufficiently precise for computational implementation. We con...
Jenny Brusk, Ron Artstein, David R. Traum