6300 search results - page 166 / 1260 » We have it easy, but do we have it right |
112
click to vote
ITRUST
2005
Springer
15 years 7 months ago
2005
Springer
The work presented in this paper consists in the development of a portable platform to protect the copyright and distribution rights of digital contents, and empirically demonstrat...
101
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed ...
FM
2003
Springer
15 years 6 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
114
click to vote
SSIAI
2000
IEEE
15 years 5 months ago
2000
IEEE
Moment invariants are invariant under shifting, scaling and rotation. They are widely used in pattern recognition because of their discrimination power and robustness. HMM method ...