Sciweavers

3745 search results - page 9 / 749
» Sonic: System Description
Sort
View
FROCOS
2011
Springer
13 years 11 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
JSS
2010
120views more  JSS 2010»
14 years 6 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
EVOW
2005
Springer
15 years 5 months ago
Granular Sampling Using a Pulse-Coupled Network of Spiking Neurons
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
Eduardo Reck Miranda, John Matthias
CHI
1998
ACM
15 years 3 months ago
Designing Audio Aura
In this paper, we describe the process behind the design of Audio Aura. The goal of Audio Aura is to provide serendipitous information, via background auditory cues, that is tied ...
Elizabeth D. Mynatt, Maribeth Back, Roy Want, Mich...
ACL
2012
13 years 2 months ago
Collective Generation of Natural Image Descriptions
We present a holistic data-driven approach to image description generation, exploiting the vast amount of (noisy) parallel image data and associated natural language descriptions ...
Polina Kuznetsova, Vicente Ordonez, Alexander C. B...