2694 search results - page 37 / 539 » Frege's New Science |
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...
MFCS
1989
Springer
13 years 11 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...
ENC
2006
IEEE
13 years 11 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
AUTOMATICA
2000
13 years 7 months ago
2000
In this paper, we present a new stability analysis of switched systems. We introduce the concepts of minimum/maximum holding time and redundancy as a tool for Lyapunov stability. ...
JISE
1998
13 years 7 months ago
1998
In the framework of perfect loop nests with uniform dependences, tiling has been extensively studied as a source-to-source program transformation. We build upon recent results by ...