1030 search results - page 167 / 206 » The ENZYME database in 2000 |
UAI
2000
13 years 11 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...
BELL
2000
13 years 9 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
DEBU
2000
13 years 9 months ago
2000
In a traditional information retrieval system, it is assumed that queries can be posed about any topic. In reality, a large fraction of web queries are posed about a relatively sm...
ESE
2000
13 years 9 months ago
2000
Use cases have become an important tool in software engineering. There has been much focus on the diagram notation but relatively little on use-case descriptions. As part of a welc...
ESE
2000
13 years 9 months ago
2000
Problem frames are a relatively new approach to requirements engineering, promising benefits not only in elicitation but also in subsequent design, by allowing their users to selec...