1968 search results - page 85 / 394 » The Complexity of Valued Constraint Models |
111
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
121
click to vote
CP
1997
Springer
15 years 5 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
108
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
130
click to vote
CIKM
2010
Springer
15 years 1 days ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
106
click to vote
KDD
2005
ACM
15 years 7 months ago
2005
ACM
A lift curve, with the true positive rate on the y-axis and the customer pull (or contact) rate on the x-axis, is often used to depict the model performance in many data mining ap...