2935 search results - page 549 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
145
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
115
click to vote
ELPUB
2000
ACM
15 years 8 months ago
2000
ACM
Electronic publishing, and in particular Web-based publishing, has assumed an increasing importance in higher education. The possibility of delivering learning material to students...
148
Voted
KDD
2000
ACM
15 years 7 months ago
2000
ACM
Decision trees have been successfully used for the task of classification. However, state-of-the-art algorithms do not incorporate the user in the tree construction process. This ...
172
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: As the size of the known human interactome grows, biologists increasingly rely on computational tools to identify patterns that represent protein complexes and pathway...