Sciweavers

4041 search results - page 684 / 809
» A Model of Creative Understanding
Sort
View
148
Voted
FAC
2000
114views more  FAC 2000»
15 years 4 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
IGPL
2000
103views more  IGPL 2000»
15 years 4 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron
ECR
2002
95views more  ECR 2002»
15 years 4 months ago
Motivating Human-Agent Interaction: Transferring Insights from Behavioral Marketing to Interface Design
The understanding of consumer interaction with online EC Websites is one of the big current challenges for online marketers. The present paper investigates what drives and impedes...
Sarah Spiekermann, Corina Paraschiv
142
Voted
IJSEKE
2000
90views more  IJSEKE 2000»
15 years 4 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...
INFSOF
2000
120views more  INFSOF 2000»
15 years 4 months ago
Cognitive support, UML adherence, and XMI interchange in Argo/UML
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
Jason E. Robbins, David F. Redmiles