Sciweavers

949 search results - page 166 / 190
» Relating Imperatives to Action
Sort
View
SEMWEB
2010
Springer
13 years 5 months ago
Ontology Similarity in the Alignment Space
Abstract. Measuring similarity between ontologies can be very useful for different purposes, e.g., finding an ontology to replace another, or finding an ontology in which queries c...
Jérôme David, Jérôme Euz...
UM
2010
Springer
13 years 5 months ago
Inducing Effective Pedagogical Strategies Using Learning Context Features
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...
Min Chi, Kurt VanLehn, Diane J. Litman, Pamela W. ...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
HCI
2009
13 years 5 months ago
Agency Attribution in Human-Computer Interaction
Abstract. Social psychologists have documented that people attribute a humanlike agency to computers. Work in human motor cognition has identified a related effect known as "i...
John E. McEneaney
ICWSM
2009
13 years 5 months ago
Trust Incident Account Model: Preliminary Indicators for Trust Rhetoric and Trust or Distrust in Blogs
This paper defines a concept of trust incident accounts as verbal reports of empirical episodes in which a trustor has reached a state of positive or negative expectations of a tr...
Victoria L. Rubin