Sciweavers

5946 search results - page 417 / 1190
» Visual requirement representation
Sort
View
ICSE
1997
IEEE-ACM
15 years 11 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
CANDC
2007
ACM
15 years 10 months ago
Tool support for creativity using externalizations
Within the creativity community, researchers and practitioners have developed and studied various support tools and environments. It is important to learn from these tools and env...
Andrew Warr, Eamonn O'Neill
ACL
1992
15 years 8 months ago
Lattice-Based Word Identification in CLARE
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...
David M. Carter
CORR
1998
Springer
66views Education» more  CORR 1998»
15 years 6 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber
PROCEDIA
2010
103views more  PROCEDIA 2010»
15 years 1 months ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly