8828 search results - page 1468 / 1766 » Formal methods in practice |
200
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
157
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Order-preserving submatrices (OPSM’s) have been shown useful in capturing concurrent patterns in data when the relative magnitudes of data items are more important than their ab...
183
Voted
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Video transmission over a heterogeneous network suffers a condition that it has required to satisfy many different constraints because of the variety limitations of client equipme...
147
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Tongue line refers to the surface of the tongue covered with fissures or lines in deep or shallow shape and is one type of important features in clinical practice of Traditional ...
171
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...