1827 search results - page 152 / 366 » Automatic thesaurus construction |
145
click to vote
JVA
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
120
Voted
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
120
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...
132
click to vote
DL
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes the Greenstone digital library software, a comprehensive, open-source system for the construction and presentation of information collections. Collections bui...
151
click to vote
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...