6274 search results - page 779 / 1255 » Proofs, Programs, Processes |
178
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
157
click to vote
ICMLA
2008
15 years 8 months ago
2008
This paper presents a software system that is able to generate crosswords with no human intervention including definition generation and crossword compilation. In particular, the ...
158
click to vote
IJCAI
2007
15 years 8 months ago
2007
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest i...
174
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
159
click to vote
IWEC
2004
15 years 8 months ago
2004
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...