5434 search results - page 381 / 1087 » Tool support for MOLA |
149
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
218
Voted
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
173
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Internet users face challenges in evaluating the validity of online information. Such evaluation is not adequately supported by current tools; we outline some of the shortcomings ...
200
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Collaboration on Web search is common in many domains, such as education and knowledge work; recently, HCI researchers have begun to introduce prototype collaborative search tools...
166
click to vote
CIIT
2007
15 years 8 months ago
2007
We investigate the problem of a collaborative digital library collection that allows librarians and non-librarians alike to share information on specific topics through MARC reco...