2173 search results - page 261 / 435 » The Evolution of the DARWIN System |
142
Voted
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
116
Voted
CIKM
1994
Springer
15 years 4 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
141
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a novel exploratory visual analytic system called TIARA (Text Insight via Automated Responsive Analytics), which combines text analytics and interactive ...
BMCBI
2007
15 years 25 days ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
147
Voted
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...