2806 search results - page 390 / 562 » BML and Related Tools |
176
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
215
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
153
click to vote
MIR
2003
ACM
15 years 11 months ago
2003
ACM
Web searching is a significant activity for many people seeking multimedia information. Major Web search engines, such as Alta Vista, are essential tools in the quest to locate re...
157
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
193
click to vote
AIIA
2003
Springer
15 years 11 months ago
2003
Springer
A bayesian network is an appropriate tool for working with uncertainty and probability, that are typical of real-life applications. In literature we find different approaches for b...