2263 search results - page 20 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
IUI
2012
ACM
13 years 5 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
62
Voted
ISMVL
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
105
click to vote
ITCC
2002
IEEE
15 years 2 months ago
2002
IEEE
: Since modern programmable devices contain embedded memory blocks, there exists a possibility to implement Finite State Machines (FSM) using such blocks. The size of the memory av...
76
Voted
ECTEL
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...
134
click to vote
PLPV
2011
ACM
14 years 10 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...