4224 search results - page 268 / 845 » Reasoning about Choice |
186
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
181
click to vote
NDSS
2009
IEEE
16 years 2 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
233
click to vote
IEEEICCI
2009
IEEE
16 years 1 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
188
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
While the growing number of learning resources increases the choice for learners, it also makes it more and more difficult to find suitable courses. Thus, improved search capabili...
144
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...