3451 search results - page 440 / 691 » The Architecture and Implementation of Resource Space Model ... |
176
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
173
click to vote
TPDS
2002
15 years 6 months ago
2002
The problem of question/answering (Q/A) is to find answers to open-domain questions by searching large collections of documents. Unlike information retrieval systems, very common ...
145
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
143
click to vote
HUC
2007
Springer
16 years 25 days ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
229
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...