QA75 Electronic computers. Computer science

Subject

Browse all works related to QA75 Electronic computers. Computer science.

"460" Result

Image feature extraction is a fundamental area of image processing and computer vision.There are many ways that techniques can be created that extract features and particularly novel techniques can be developed by taking influence from the physical world.This thesis presents the…

Using energy harvesting for powering autonomous sensor systems can meet the goal of perpetual operation. However, the uncertainty in system supply coupled with the size constraints presents challenges in design of such systems. To address these challenges,this thesis is concerne…

Decision making under uncertainty is one of the most important challenges within the research field of artificial intelligence, as they present many everyday situations that agents have to face. Within these situations, an agent has to choose from a set of options, whose payoff …

This thesis investigates how researchers can take advantage of the rapid adoption of mobile technology that has brought with it transformations in social and cultural practice; the expectations of what computers are, what they can do, and the role of digital objects in everyday …

Model checking is a technique used for the formal verification of concurrent systems. A major hindrance to model checking is the so-called state space explosion problem where the number of states in a model grows exponentially as variables are added. This means even trivial syst…

In this thesis we investigate the use of quantum probability theory for ranking documents. Quantum probability theory is used to estimate the probability of relevance of a document given a user's query. We posit that quantum probability theory can lead to a better estimation of …