1368 search results - page 260 / 274 » Avoiding Simplicity Is Complex |
146
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
113
click to vote
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
Dense 802.11 wireless networks present a pressing capacity challenge: users in proximity contend for limited unlicensed spectrum. Directional antennas promise increased capacity b...
160
click to vote
AICCSA
2008
IEEE
15 years 1 months ago
2008
IEEE
Mining fault tolerant (FT) frequent patterns from transactional datasets are very complex than mining all frequent patterns (itemsets), in terms of both search space exploration a...
115
Voted
AML
2008
15 years 1 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
116
click to vote
ARTMED
2010
15 years 1 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...