1076 search results - page 90 / 216 » Operations on proofs and labels |
182
Voted
PRIB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Supervised classifiers require manually labeled training samples to classify unlabeled objects. Active Learning (AL) can be used to selectively label only “ambiguous...
108
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
CORR
2011
Springer
14 years 7 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
106
click to vote
ICFP
2003
ACM
16 years 18 days ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
101
Voted
USENIX
2007
15 years 3 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...