648 search results - page 82 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
SIGMOD
1996
ACM
15 years 3 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...
116
click to vote
ECAI
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. Deep Neural Networks (DNN) propose a new and efficient ML architecture based on the layer-wise building of several representation layers. A critical issue for DNNs remain...
POPL
2005
ACM
15 years 4 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
RTCSA
2000
IEEE
15 years 3 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
117
click to vote
GPCE
2009
Springer
15 years 2 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...