2045 search results - page 57 / 409 » Learning programming with Erlang |
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...
JMLR
2006
13 years 7 months ago
2006
In this paper, we propose a new representation for physical control
CAV
2012
Springer
11 years 10 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
IPCC
1998
13 years 9 months ago
1998
: Internet-based distance learning programs make it possible for technical communicators located anywhere in the world to participate in graduate courses in their field. But are th...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...