Sciweavers

2106 search results - page 346 / 422
» Specifying C concepts
Sort
View
PE
2000
Springer
93views Optimization» more  PE 2000»
13 years 8 months ago
A novel approach to queue stability analysis of polling models
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
Rocky K. C. Chang, Sum Lam
AROBOTS
1999
118views more  AROBOTS 1999»
13 years 8 months ago
GripSee: A Gesture-Controlled Robot for Object Perception and Manipulation
We have designed a research platform for a perceptually guided robot, which also serves as a demonstrator for a coming generation of service robots. In order to operate semi-autono...
Mark Becker, Efthimia Kefalea, Eric Maël, Chr...
DATAMINE
1998
145views more  DATAMINE 1998»
13 years 8 months ago
A Tutorial on Support Vector Machines for Pattern Recognition
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
Christopher J. C. Burges
JCB
2002
93views more  JCB 2002»
13 years 8 months ago
Unfolding of Microarray Data
The use of DNA microarrays for the analysis of complex biological samples is becoming a mainstream part of biomedical research. One of the most commonly used methods compares the ...
Andrew B. Goryachev, Pascale F. Macgregor, Aled M....
CSUR
1999
137views more  CSUR 1999»
13 years 8 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki