8728 search results - page 1508 / 1746 » On Reduct Construction Algorithms |
180
click to vote
RSP
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
167
click to vote
SEMCO
2007
IEEE
16 years 15 days ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
164
click to vote
SMC
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...
151
click to vote
SMI
2007
IEEE
16 years 14 days ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
181
click to vote
SMI
2007
IEEE
16 years 14 days ago
2007
IEEE
We present an effective framework for segmenting 3D shapes into meaningful components using the curve skeleton. Our algorithm identifies a number of a critical points on the curv...