Sciweavers

1360 search results - page 93 / 272
» Risk Analysis with Information Described in Natural Language
Sort
View
RTA
2010
Springer
15 years 1 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu
SIGCSE
2004
ACM
96views Education» more  SIGCSE 2004»
15 years 3 months ago
Teaching computation to undergraduate scientists
This paper describes the motivation and design of an introductory computational course for natural, physical, and social scientists. Categories and Subject Descriptors: K.3.2 Comp...
Daniel T. Kaplan
ANLP
2000
77views more  ANLP 2000»
14 years 11 months ago
A Representation for Complex and Evolving Data Dependencies in Generation
This paper introduces an approach to representing the kinds of information that components in a natural language generation (NLG) system will need to communicate to one another. T...
Chris Mellish, Roger Evans, Lynne J. Cahill, Chris...
PPDP
2010
Springer
14 years 8 months ago
Precise complexity analysis for efficient datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
K. Tuncay Tekle, Yanhong A. Liu
UML
2005
Springer
15 years 3 months ago
Domain Models Are Aspect Free
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
Friedrich Steimann