240 search results - page 38 / 48 » The Past, Present and Future of Smalltalk |
CORR
2002
Springer
14 years 9 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
We have analyzed manufacturing data from several different semiconductor manufacturing plants, using decision tree induction software called Q-YIELD. The software generates rules ...
102
click to vote
ICPR
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Learning dynamical systems is one of the important problems in many fields. In this paper, we present an algorithm for learning non-linear dynamical systems which works...
ECIR
2010
Springer
14 years 8 months ago
2010
Springer
Personal lifelog archives contain digital records captured from an individual’s daily life, e.g. emails, web pages downloaded and SMSs sent or received. While capturing this info...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...