Sciweavers

3547 search results - page 544 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ECML
2007
Springer
15 years 10 months ago
Quality of Musical Instrument Sound Identification for Various Levels of Accompanying Sounds
Research on automatic identification of musical instrument sounds has already been performed through last years, but mainly for monophonic singular sounds. In this paper we work on...
Alicja Wieczorkowska, Elzbieta Kolczynska
DAC
2010
ACM
15 years 10 months ago
Circuit modeling for practical many-core architecture design exploration
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
Dean Truong, Bevan M. Baas
FC
2010
Springer
196views Cryptology» more  FC 2010»
15 years 10 months ago
Secure Multiparty AES
Abstract We propose several variants of a secure multiparty computation protocol for AES encryption. The best variant requires 2200 + 400 255 expected elementary operations in expe...
Ivan Damgård, Marcel Keller
CIA
2006
Springer
15 years 10 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
ATAL
2003
Springer
15 years 10 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff