Sciweavers

1634 search results - page 52 / 327
» Classifying Technical Terms
Sort
View
DAC
2006
ACM
14 years 2 months ago
How will the fabless model survive?
The fabless model was traditionally enabled through clean interfaces – both in technical and business terms – between foundries and fabless semiconductor companies. However, w...
Thomas Hartung, Jim Kupec, Ana Hunter, Brad Paulse...
FOSSACS
2003
Springer
14 years 2 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
IJFCS
2007
93views more  IJFCS 2007»
13 years 8 months ago
Modelling and Analysis of PKI-Based Systems Using Process Calculi
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
Benjamin Aziz, Geoff Hamilton
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
14 years 3 months ago
Discrete dynamical genetic programming in XCS
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...
Richard Preen, Larry Bull
IDEAS
2007
IEEE
71views Database» more  IDEAS 2007»
14 years 3 months ago
Feature Space Enrichment by Incorporation of Implicit Features for Effective Classification
Feature Space Conversion for classifiers is the process by which the data that is to be fed into the classifier is transformed from one form to another. The motivation behind doin...
Abhishek Srivastava, Osmar R. Zaïane, Maria-L...