Sciweavers

826 search results - page 97 / 166
» What Triggers a Behavior
Sort
View
119
Voted
LISP
2008
101views more  LISP 2008»
15 years 21 days 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 16 days 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
203
Voted
VL
2010
IEEE
286views Visual Languages» more  VL 2010»
14 years 11 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...
108
Voted
IAT
2010
IEEE
14 years 10 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...
111
Voted
SIGDIAL
2010
14 years 10 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