Sciweavers

2996 search results - page 168 / 600
» Information Modeling in the Time of the Revolution
Sort
View
IJCNN
2007
IEEE
16 years 25 days ago
A Sound Localization and Recognition System using Pulsed Neural Networks on FPGA
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
Kaname Iwasa, Mauricio Kugler, Susumu Kuroyanagi, ...
CIT
2006
Springer
15 years 10 months ago
A High Performance ASIC for Cellular Automata (CA) Applications
CA are useful tools in modeling and simulation. However, the more complex a CA is, the longer it takes to run in typical environments. A dedicated CA machine solves this problem by...
Cheryl A. Kincaid, Saraju P. Mohanty, Armin R. Mik...
AAAI
1993
15 years 7 months ago
Reasoning With Characteristic Models
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
Henry A. Kautz, Michael J. Kearns, Bart Selman
IJCAI
2003
15 years 8 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
CCGRID
2010
IEEE
15 years 6 months ago
Discovering Piecewise Linear Models of Grid Workload
—Despite extensive research focused on enabling QoS for grid users through economic and intelligent resource provisioning, no consensus has emerged on the most promising strategi...
Tamás Éltetö, Cécile Ger...