Aspect presence verification conditional on other aspects.

Dmitri Roussinov

Published in: SIGIR (2010)

Keyphrases

model checking
random field model
database
neural network
machine learning
information retrieval
genetic algorithm
web services
similarity measure
conditional probabilities
computational models
formal analysis
temporal aspects
aspect oriented
verification method