8 search results - page 2 / 2 » Remarks on symmetries of 2D-quasicrystals |
ENTCS
2007
13 years 5 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. The shapes of many natural and man-made objects have curved contours. The images of such contours usually do not have sufficient distinctive features to apply conventiona...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
Multi-agent research often borrows from biology, where remarkable examples of collective intelligence may be found. One interesting example is ant colonies’ use of pheromones as...