21094 search results - page 263 / 4219 » An experiment using DLV-K |
169
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with the problem of author identification. The Common N-Grams (CNG) method [6] is a language-independent profile-based approach with good results in many author i...
187
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present our pedagogical and technological approach for supporting the design of novel situated learning activities that can be conducted both, outside the school ...
153
click to vote
APNOMS
2007
Springer
16 years 27 days ago
2007
Springer
Most of Voice over IP(VoIP) systems are deployed using SIP protocol and based in a client-server architecture. A lot of people and companies could be benefited if the system did n...
195
click to vote
SIGADA
2007
Springer
16 years 24 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
148
click to vote
FCCM
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...