5550 search results - page 786 / 1110 » Different Approaches to Proof Systems |
202
click to vote
IJDMMM
2008
15 years 6 months ago
2008
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
215
click to vote
ESWA
2006
15 years 6 months ago
2006
Artificial intelligence (AI) has increasingly gained attention in bioinformatics research and computational molecular biology. With the availability of different types of AI algor...
172
click to vote
IJMMS
2008
15 years 6 months ago
2008
Mature eXtreme programming (XP) teams are highly collaborative and self-organising. In previous studies, we have observed that these teams rely on two apparently simple mechanisms...
192
click to vote
IIE
2006
15 years 6 months ago
2006
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
187
click to vote
IJSEKE
2006
15 years 6 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...