7421 search results - page 253 / 1485 » In search of dependable design |
178
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
200
click to vote
IWINAC
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is firs...
186
click to vote
ISMIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
200
click to vote
SEM
2004
Springer
16 years 2 days ago
2004
Springer
Large-scale information processing applications must rapidly search through high volume streams of structured and unstructured textual data to locate useful information. Content-ba...
146
Voted
KBSE
2003
IEEE
16 years 4 hour ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...