5343 search results - page 315 / 1069 » Keyword programming in java |
120
click to vote
ICWL
2007
Springer
15 years 9 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
132
Voted
INTERACT
1997
15 years 4 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
113
Voted
IV
2006
IEEE
15 years 9 months ago
2006
IEEE
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
158
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
247
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...