4328 search results - page 217 / 866 » A New Kind of Science |
129
click to vote
CTRS
1990
15 years 10 months ago
1990
A new positive-unit theorem-proving procedure for equational Horn clauses is presented. It uses a term ordering to restrict paxamodulation to potentiallymaximal sides of equations...
176
Voted
CLOUDCOM
2009
Springer
15 years 10 months ago
2009
Springer
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples
154
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This article intents to discuss the relation between modernism and postmodernism as a reaction to modernism, from the point of view of the science and technology. It makes a paral...
163
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
A new approach to control system design for systems containing sandwiched, uncertain, non-smooth friction is proposed. The method is based on a multi-state backstepping approach t...
145
click to vote
PRL
1998
15 years 6 months ago
1998
A new approach for implementing filters based on order statistics is proposed in this letter. As an illustration realisations of range, a-trimmed mean and WMMR filters are present...