9405 search results - page 1878 / 1881 » Computing a Model of Set Theory |
100
click to vote
CODES
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
PAMI
2011
14 years 4 months ago
2011
—In this paper, we introduce a novel method to solve shape alignment problems. We use gray-scale “images” to represent source shapes, and propose a novel two-component Gaussi...
106
click to vote
WWW
2011
ACM
14 years 4 months ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...
123
click to vote
HEURISTICS
2010
14 years 4 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
108
click to vote
JAMIA
2010
14 years 4 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...