Sciweavers

4270 search results - page 308 / 854
» A Permutation Approach to Validation
Sort
View
DIMVA
2006
15 years 8 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...
IKE
2004
15 years 8 months ago
Analogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method ...
Jim Reynolds, Adam Pease, John Li
ANLP
2000
77views more  ANLP 2000»
15 years 8 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...
IJCAI
1989
15 years 7 months ago
On the Semantics of Counterfactuals
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
Peter Jackson
ATAL
2009
Springer
15 years 7 months ago
Towards an Architecture for Self-regulating Agents: A Case Study in International Trade
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...
Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan