2004 search results - page 362 / 401 » Comparison of Model Checking Tools for Information Systems |
116
click to vote
DOCENG
2004
ACM
15 years 5 months ago
2004
ACM
XML Topic maps enable multiple, concurrent views of sets of information objects and can be used to different applications. For example, thesaurus-like interfaces to corpora, navig...
BMCBI
2008
14 years 12 months ago
2008
Background: A better understanding of the mechanisms involved in gas-phase fragmentation of peptides is essential for the development of more reliable algorithms for high-throughp...
ECTEL
2009
Springer
15 years 6 months ago
2009
Springer
The orchestration process consists of managing classroom interactions at multiple levels: individual activities, teamwork and class-wide sessions. We study the process of orchestra...
111
click to vote
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...
105
click to vote
FLAIRS
2007
15 years 2 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...