1585 search results - page 171 / 317 » A framework for computer-aided validation |
116
Voted
EOR
2008
15 years 3 months ago
2008
We address a multi-item capacitated lot-sizing problem with setup times and shortage costs that arises in real-world production planning problems. Demand cannot be backlogged, but...
126
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents CARE, an autonomous email reputation system based on inter-domain collaboration. Within the framework of CARE, each domain independently builds its reputatio...
142
Voted
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
135
Voted
OTM
2010
Springer
15 years 2 months ago
2010
Springer
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
132
Voted
ACL
2010
15 years 1 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...