949 search results - page 29 / 190 » Relating Imperatives to Action |
107
click to vote
CIE
2005
Springer
15 years 7 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
127
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
125
click to vote
ANNPR
2008
Springer
15 years 3 months ago
2008
Springer
Recursive Feature Elimination RFE combined with feature-ranking is an effective technique for eliminating irrelevant features. In this paper, an ensemble of MLP base classifiers wi...
99
Voted
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Large-scale websites are increasingly moving from relational databases to distributed key-value stores for high request rate, low latency workloads. Often this move is motivated n...
109
click to vote
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...