Sciweavers

829 search results - page 60 / 166
» Making Microrobots Move
Sort
View
CORR
2008
Springer
71views Education» more  CORR 2008»
13 years 8 months ago
A Survey of Quantum Programming Languages: History, Methods, and Tools
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
Donald A. Sofge
ENTCS
2008
102views more  ENTCS 2008»
13 years 8 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
ENGL
2006
87views more  ENGL 2006»
13 years 8 months ago
Multiagent Web based Decision Support Systems for Global Enterprises: An Architectural Blueprint
Financial institutions are striving to maximize benefits from the emerging digital economy. However, the decision to take such an investment option is contingent upon the "pr...
Tagelsir Mohamed Gasmelseid
IJBRA
2006
85views more  IJBRA 2006»
13 years 8 months ago
A novel approach to medical image compression
: As medical/biological imaging facilities move towards complete film-less imaging, compression plays a key role. Although lossy compression techniques yield high compression rates...
Matthew J. Zukoski, Terrance Boult, Tunc Iyriboz
IVC
2008
101views more  IVC 2008»
13 years 8 months ago
Occlusion analysis: Learning and utilising depth maps in object tracking
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...
Darrel Greenhill, John-Paul Renno, James Orwell, G...