2702 search results - page 469 / 541 » Practically Applicable Formal Methods |
119
Voted
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
105
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
119
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
Practical clustering algorithms require multiple data scans to achieve convergence. For large databases, these scans become prohibitively expensive. We present a scalable clusteri...
139
click to vote
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
110
click to vote
CISIM
2007
IEEE
15 years 6 months ago
2007
IEEE
This article presents a semi-automatic segmentation of the fibrous liver tissue in the in-vivo liver biopsy color images. The segmentation is performed using a tree-based classifi...