Sciweavers

697 search results - page 51 / 140
» Diet: New Developments and Recent Results
Sort
View
74
Voted
STOC
2001
ACM
115views Algorithms» more  STOC 2001»
15 years 10 months ago
Running time and program size for self-assembled squares
Recently Rothemund and Winfree 6] have considered the program size complexity of constructing squares by selfassembly. Here, we consider the time complexity of such constructions ...
Leonard M. Adleman, Qi Cheng, Ashish Goel, Ming-De...
96
Voted
GRAPHITE
2006
ACM
15 years 4 months ago
Methodologies for immersive robot programming in an augmented reality environment
—Advancements in robotics have gained much momentum in recent years. Industrial robotic systems are increasingly being used outside the factory floor, evident by the growing pres...
Soh-Khim Ong, J. W. S. Chong, Andrew Y. C. Nee
FASE
2005
Springer
15 years 3 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
ICIP
2000
IEEE
15 years 2 months ago
Multiscale Texture Segmentation Using Hybrid Contextual Labeling Tree
Wavelet-domain hidden Markov tree (HMT) model has been recently proposed and applied to image processing, e.g., image segmentation. A new multiscale image segmentation method, cal...
Guoliang Fan, Xiang-Gen Xia
CEC
2007
IEEE
15 years 2 months ago
Double-deck elevator systems using Genetic Network Programming with reinforcement learning
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
Jin Zhou, Lu Yu, Shingo Mabu, Kotaro Hirasawa, Jin...