2940 search results - page 56 / 588 » Relational Parametricity and Control |
CASC
2007
Springer
15 years 6 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
120
click to vote
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
INAP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
139
click to vote
ICDM2
2004
Springer
15 years 5 months ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...