Sciweavers

3016 search results - page 256 / 604
» Biochemically-Inspired Emergent Computation
Sort
View
ICALP
1997
Springer
15 years 10 months ago
Basic Observables for Processes
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
ICCAD
1994
IEEE
115views Hardware» more  ICCAD 1994»
15 years 10 months ago
Fast transient power and noise estimation for VLSI circuits
Abstract - Today's digital design systems are running out of steam, when it comes to meeting the challenges presented by simultaneous switching, power consumption and reliabil...
Wolfgang T. Eisenmann, Helmut E. Graeb
VLDB
1994
ACM
114views Database» more  VLDB 1994»
15 years 10 months ago
Relating Distributed Objects
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
Bruce E. Martin, R. G. G. Cattell
ICLP
2010
Springer
15 years 10 months ago
Towards a General Argumentation System based on Answer-Set Programming
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
Sarah Alice Gaggl
DSD
2004
IEEE
106views Hardware» more  DSD 2004»
15 years 10 months ago
Finite Precision Analysis of Support Vector Machine Classification in Logarithmic Number Systems
In this paper we present an analysis of the minimal hardware precision required to implement Support Vector Machine (SVM) classification within a Logarithmic Number System archite...
Faisal M. Khan, Mark G. Arnold, William M. Potteng...