1959 search results - page 166 / 392 » Concerned About Separation |
124
click to vote
CE
2007
15 years 4 months ago
2007
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
136
click to vote
JASIS
2006
15 years 4 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...
124
click to vote
JOLLI
2006
15 years 4 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
126
click to vote
JSCIC
2006
15 years 4 months ago
2006
In this paper, a moving mesh discontinuous Galerkin (DG) method is developed to solve the nonlinear conservation laws. In the mesh adaptation part, two issues have received much a...