Sciweavers

9698 search results - page 281 / 1940
» models 2010
Sort
View
PERSUASIVE
2010
Springer
15 years 11 months ago
Behavior Change Support Systems: A Research Model and Agenda
This article introduces the concept of a behavior change support system and suggests it as a key construct for research on persuasive systems design, technologies, and applications...
Harri Oinas-Kukkonen
ENTCS
2006
125views more  ENTCS 2006»
15 years 6 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
SIGDIAL
2010
15 years 4 months ago
Dialogue Act Modeling in a Complex Task-Oriented Domain
Classifying the dialogue act of a user utterance is a key functionality of a dialogue management system. This paper presents a data-driven dialogue act classifier that is learned ...
Kristy Elizabeth Boyer, Eun Y. Ha, Robert Phillips...
TR
2010
126views Hardware» more  TR 2010»
15 years 1 months ago
Approximating a Loading-Dependent Cascading Failure Model With a Branching Process
Abstract--We quantify the closeness of the approximation between two high-level probabilistic models of cascading failure. In one model called CASCADE, failing components successiv...
Janghoon Kim, Ian Dobson
IJACTAICIT
2010
176views more  IJACTAICIT 2010»
15 years 4 months ago
A Secured Web Services Based E-Commerce Model for SMME Using Digital Identity
This paper deals with redesigning the existing e-commerce architecture that has provided a platform for the large companies to sell their products so that it can provide a place o...
Ashwin B. K., Kumaran K., Madhu Vishwanatham V., M...