53 search results - page 7 / 11 » Lukaszewicz-style Answer Set Programming: A Preliminary Repo... |
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
CRYPTOLOGIA
2007
13 years 7 months ago
2007
When attacking the German Enigma cipher machine during the 1930s, the Polish mathematician Marian Rejewski developed a catalog of disjoint cycles of permutations generated by Enigm...
ECAI
2010
Springer
13 years 8 months 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...
EUROITV
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...