7597 search results - page 149 / 1520 » On the design of metric relations |
163
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
143
click to vote
FUIN
2007
15 years 6 months ago
2007
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
272
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
162
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
— In this article, the authors examine the problem of designing nominal manipulator Jacobians that are optimally fault tolerant to one or more joint failures. In this work, optim...
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Currently statistical and artificial neural network methods dominate in financial data mining. Alternative relational (symbolic) data mining methods have shown their effectiveness...