2498 search results - page 300 / 500 » A tool for materials exploration |
174
click to vote
ISPW
2005
IEEE
16 years 7 days ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
162
click to vote
SEFM
2005
IEEE
16 years 7 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
173
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
151
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
197
click to vote
ISVC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...