2436 search results - page 237 / 488 » Comonadic Notions of Computation |
199
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
207
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
163
click to vote
CSLP
2004
Springer
15 years 10 months ago
2004
Springer
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
173
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the problem of increased programming time for intrinsic evolvable hardware (EHW) as the complexity of the circuit grows. We develop equations for the size of ...
201
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Interactively learning from a small sample of unlabeled examples is an enormously challenging task. Relevance feedback and more recently active learning are two standard ...