6279 search results - page 1226 / 1256 » Objects as session-typed processes |
147
click to vote
IJCAI
2007
15 years 6 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
217
click to vote
NIPS
2008
15 years 6 months ago
2008
Many popular optimization algorithms, like the Levenberg-Marquardt algorithm (LMA), use heuristic-based "controllers" that modulate the behavior of the optimizer during ...
141
click to vote
SE
2008
15 years 6 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
134
click to vote
PTS
2007
15 years 6 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
150
click to vote
APBC
2004
15 years 6 months ago
2004
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...