Sciweavers

34 search results - page 6 / 7
» The power of story
Sort
View
ICFP
2010
ACM
13 years 7 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
ITNG
2007
IEEE
14 years 29 days ago
Software Reuse: Research and Practice
— It has been almost four decades since the idea of software reuse was proposed. Many success stories have been told, yet it is believed that software reuse is still in the devel...
Sajjan G. Shiva, Lubna Abou Shala
HICSS
1998
IEEE
108views Biometrics» more  HICSS 1998»
13 years 11 months ago
Workflow Optimization through Task Redesign in Business Information Processes
The academic and professional literature addressing business process reengineering points at inter-task information flow delays (handoffs) as a major source of processing errors a...
Rajiv M. Dewan, Abraham Seidmann, Zhiping D. Walte...
JMM2
2007
131views more  JMM2 2007»
13 years 6 months ago
Effect of Digital Games on Children's Cognitive Achievement
—Technologies’ rapid advance in developing digital media has been extensively applied in contemporary play materials to enrich children’s play, such as electronic or computer...
Tsung-Yen Chuang, Wei-Fan Chen
DLOG
2010
13 years 4 months ago
Generating Referring Expressions with OWL2
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...
Yuan Ren, Kees van Deemter, Jeff Z. Pan