3628 search results - page 204 / 726 » The Decision Diffie-Hellman Problem |
109
Voted
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
120
Voted
MICAI
2007
Springer
15 years 9 months ago
2007
Springer
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
123
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper demonstrates the importance of collaboration between government departments as a backbone for inter-organizational integration between agencies such as ministries. We a...
134
Voted
RISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
116
Voted
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...