13977 search results - page 566 / 2796 » Evolution in complex systems |
170
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
243
click to vote
CADE
1998
Springer
15 years 11 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 ...
209
click to vote
CIKM
1994
Springer
15 years 11 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...
224
click to vote
KDD
2010
ACM
15 years 9 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 ...
192
click to vote
BMCBI
2007
15 years 7 months 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...