9110 search results - page 1378 / 1822 » Formally-Based Design Evaluation |
174
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
207
click to vote
HPDC
2002
IEEE
15 years 12 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
187
click to vote
ICDCS
2002
IEEE
15 years 12 months ago
2002
IEEE
Finding information in a peer-to-peer system currently requires either a costly and vulnerable central index, or flooding the network with queries. In this paper we introduce the...
184
click to vote
ICDCS
2002
IEEE
15 years 12 months ago
2002
IEEE
For many Internet applications, the ability to protect the identity of participants in a distributed applications is critical. For such applications, a number of anonymous communi...
192
click to vote
ICDM
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...