9405 search results - page 1878 / 1881 » Computing a Model of Set Theory |
176
click to vote
CODES
2010
IEEE
15 years 2 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...
165
Voted
PAMI
2011
15 years 23 days 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...
188
Voted
WWW
2011
ACM
15 years 22 days 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 ...
206
Voted
HEURISTICS
2010
15 years 20 days 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...
188
Voted
JAMIA
2010
15 years 19 days 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...