2519 search results - page 151 / 504 » Reasoning with Textual Cases |
201
click to vote
LREC
2008
15 years 8 months ago
2008
The availability of a huge mass of textual data in electronic format has increased the need for fast and accurate techniques for textual data processing. Machine learning and stat...
190
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...
184
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
152
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
162
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...