1113 search results - page 186 / 223 » Automated Approaches for Classifying Structures |
118
Voted
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
147
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
110
Voted
DAC
2003
ACM
15 years 8 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
135
click to vote
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
107
click to vote
TRECVID
2007
15 years 4 months ago
2007
For the first time in 2007, TRECVID considered structured evaluation of automated video summarization, utilizing BBC rushes video. This paper discusses in detail our approaches fo...