8728 search results - page 257 / 1746 » On Reduct Construction Algorithms |
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
158
click to vote
IJRR
2000
15 years 6 months ago
2000
This paper prescribes an incremental procedure to construct roadmaps of unknown environments. Recall that a roadmap is a geometric structure that a robot uses to plan a path betwe...
166
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
198
Voted
PDP
2006
IEEE
16 years 19 days ago
2006
IEEE
Peer-to-Peer computing is mainly based on the virtual overlay network constructed in the application layer. Often, there is topology mismatching between the overlay network and th...
171
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We explore the impact of including hue in a feature construction algorithm for colour target detection. Hue has a long standing record as a good attribute in colour segme...