12741 search results - page 108 / 2549 » Editorial and call for papers |
160
click to vote
IADIS
2004
15 years 7 months ago
2004
The main topic addressed in this paper is how to help a learner plan a navigation path in self-directed learning on the Web. Our approach to this issue is to analyze the open-ende...
193
click to vote
IJCAI
2003
15 years 7 months ago
2003
In traditional text classification, a classifier is built using labeled training documents of every class. This paper studies a different problem. Given a set P of documents of a ...
179
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper describes an agent-based evolutionary computing technique called GRAEL (Grammar Evolution), that is able to perform different natural language grammar optimization and ...
182
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
163
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...