1827 search results - page 152 / 366 » Automatic thesaurus construction |
192
Voted
JVA
2006
IEEE
16 years 1 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...
170
Voted
EVOW
2004
Springer
16 years 11 days 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...
167
Voted
ITS
2010
Springer
15 years 11 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 ...
174
Voted
DL
2000
Springer
15 years 11 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...
194
click to vote
COSIT
1999
Springer
15 years 11 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...