7434 search results - page 38 / 1487 » Still |
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
—Today’s business climate requires you to constantly evolve IT strategies responding to new opportunities or threats. While the fundamentals of IT - reliability, availability, ...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Developing algorithms for sensor networks—and proving their correctness and performance—, requires simplifying but still realistic models. This paper surveys various models in...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
XML file comparison and clustering are two challenging tasks still accomplished predominantly manually. XML schema contains information about data structure, types, and labels fou...
110
click to vote
CIE
2005
Springer
15 years 5 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
RSFDGRC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we revisit the consensus of computational complexity on exact inference in Bayesian networks. We point out that even in singly connected Bayesian networks,...