5896 search results - page 870 / 1180 » On Learning with Integral Operators |
140
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
156
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
154
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
The level of security provided by digital rights management functions and cryptographic protocols depend heavily on the security of an embedded secret key. The current practice of...
144
click to vote
ITS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes TEATRIX; a learning environment designed to help children, and their teachers, in the whole process of collaborative story creation. TEATRIX provides an enviro...
172
click to vote
EPS
1995
Springer
15 years 8 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...