13383 search results - page 235 / 2677 » Abstractions from proofs |
155
click to vote
ISVD
2007
IEEE
16 years 27 days ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
222
click to vote
SCESM
2006
ACM
16 years 17 days ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
194
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
153
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
For a given prime p, a new construction of families of the complex valued sequences of period p with efficient implementation is given by applying both multiplicative characters a...
160
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium ...