7456 search results - page 1323 / 1492 » Parallelism in Logic Programming |
104
Voted
MMSEC
2004
ACM
15 years 9 months ago
2004
ACM
This paper outlines a strategy to discriminate different ISO/ MPEG 1 Audio Layer-3 (MP3) encoding programs by statistical particularities of the compressed audio streams. We use ...
123
Voted
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
128
Voted
EUC
2004
Springer
15 years 8 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
111
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
135
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
This work discusses an Evolvable Hardware (EHW) platform for the intrinsic evolution of analog electronic circuits. The EHW analog platform, named PAMA-NG (Programmable Analog Mult...