1522 search results - page 239 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
EKAW
1999
Springer
15 years 2 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
CHI
1997
ACM
15 years 2 months ago
1997
ACM
For the huge amounts of audio and video material that could usefully be included in digital libraries, the cost of producing human-generated annotations and meta-data is prohibiti...
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
CHINZ
2005
ACM
14 years 11 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
NLUCS
2008
14 years 11 months ago
2008
Increasingly, medical institutions have access to clinical information through computers. The need to process and manage the large amount of data is motivating the recent interest ...