231 search results - page 15 / 47 » A Brief Overview of HOL4 |
ECTEL
2006
Springer
14 years 9 days ago
2006
Springer
With increasingly conceiving learning as a social activity, technological support must become more aware of the social context of the individual in order to be able to provide adeq...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper firstly gives a brief overview of information embedding in deoxyribonucleic acid (DNA) sequences and its applications. DNA data embedding can be considered as a partic...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Recent advances in pattern recognition has allowed computer scientists and psychologists to jointly address automatic analysis of of human behavior via computers. The Workshop on H...
AML
2006
13 years 8 months ago
2006
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...
MJ
2008
13 years 8 months ago
2008
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...