2393 search results - page 88 / 479 » Fuzzy-UCS: preliminary results |
161
click to vote
SOFSEM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
142
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
148
click to vote
IV
2006
IEEE
16 years 6 days ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
189
click to vote
TAICPART
2006
IEEE
16 years 6 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
158
click to vote
AAIM
2006
Springer
16 years 5 days ago
2006
Springer
We introduce a novel invertible transform for two-dimensional data which has the objective of reordering the matrix so it will improve its (lossless) compression at later stages. T...