Sciweavers

1266 search results - page 49 / 254
» AS Relationships: Inference and Validation
Sort
View
IDA
2007
Springer
15 years 15 days ago
Inference of node replacement graph grammars
Graph grammars combine the relational aspect of graphs with the iterative and recursive aspects of string grammars, and thus represent an important next step in our ability to dis...
Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook
88
Voted
COLING
2008
15 years 2 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
Bill MacCartney, Christopher D. Manning
KBSE
2008
IEEE
15 years 7 months ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
AINA
2007
IEEE
15 years 7 months ago
QoS-LI: QoS Loss Inference in Disadvantaged Networks
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...
Vidyaraman Sankaranarayanan, Shambhu J. Upadhyaya,...
106
Voted
BIOCOMP
2006
15 years 1 months ago
Computational Inference of Compound-induced Anti-inflammatory Effects Across Time in an Adjuvant-induced Arthritis Rat Model
A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...
Jing Yu, Gabriel Helmlinger, Muriel Saulnier, Anna...