Sciweavers

11030 search results - page 1635 / 2206
» Generative Sound Models
Sort
View
WCE
2007
15 years 8 months ago
Prioritizing Quality Specifications of Multi-agent Systems
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
Punam Bedi, Vibha Gaur
WCE
2007
15 years 8 months ago
Analog Spiking Neuron with Charge-Coupled Synapses
—This paper presents a compact analog neuron cell with an array of charge-coupled synapses connected via a common output terminal. Synaptic responses are fed into a current mirro...
Yajie Chen, Steve Hall, Liam McDaid, Octavian Buiu...
WOA
2007
15 years 8 months ago
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
Giancarlo Fortino, Alfredo Garro, Samuele Mascilla...
CADE
2010
Springer
15 years 8 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
192
Voted
CLEF
2010
Springer
15 years 8 months ago
UNT at ImageCLEF 2010: CLIR for Wikipedia Images
This paper presents the results of the team of the University of North Texas in the Wikipedia image retrieval track of Image-CLEF-2010. Our approach is based on performing translat...
Miguel E. Ruiz, Jiangping Chen, Karthikeyan Pasupa...
« Prev « First page 1635 / 2206 Last » Next »