Browsing by Title
Now showing items 47414760 of 4790

What is Decidable about Strings?
(20110201)We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finitelength strings and integers (interpreted as lengths of strings). The atomic formulas ...

What is Delaying the Manipulator Revolution?
(MIT Artificial Intelligence Laboratory, 197802)Despite two decades of work on mechanical manipulators and their associated controls, we do not see widespread application of these devices to many of the tasks to which they seem so obviously suited. Somehow, a variety ...

What Makes a Good Feature?
(19920401)Using a Bayesian framework, we place bounds on just what features are worth computing if inferences about the world properties are to be made from image data. Previously others have proposed that useful features reflect ...

What the Assassin's Guild Taught Me About Distributed Computing
(20060527)Distributed computing and liveaction roleplaying share many of thesame fundamental problems, as liveaction roleplaying games commonly include simulations carried out by their players.Games run by the MIT Assassin's Guild ...

What to Read: A Biased Guide to AI Literacy for the Beginner
(MIT Artificial Intelligence Laboratory, 197211)This note tries to provide a quick guide to AI literacy for the beginning AI hacker and for the experienced AI hacker or two whose scholarship isn't what it should be. most will recognize it as the same old list of classic ...

What's in a Tune
(19741101)The work reported here began with two fundamental assumptions: 1) The perception of music is an active process; it involves the individual in selecting, sorting, and grouping the features of the phenomena before her. ...

What's What
(MIT Artificial Intelligence Laboratory, 197103)An outline of the modules used in the copy demonstration, the reasons for doing robotics, and some possible directions for further work.


Why are There so Few Female Computer Scientists?
(19910801)This report examines why women pursue careers in computer science and related fields far less frequently than men do. In 1990, only 13% of PhDs in computer science went to women, and only 7.8% of computer science ...

Why Classical Finite difference Approximations fail for a singularly perturbed System of ConvectionDiffusion Equations
(20160607)We consider classical Finite Difference Scheme for a system of singularly perturbed convectiondiffusion equations coupled in their reactive terms, we prove that the classical SFD scheme is not a robust technique for solving ...

Why Classical Finite difference Approximations fail for a singularly perturbed System of ConvectionDiffusion Equations
(20160607)We consider classical Finite Difference Scheme for a system of singularly perturbed convectiondiffusion equations coupled in their reactive terms, we prove that the classical SFD scheme is not a robust technique for solving ...

Why Conniving is Better than Planning
(19720201)A higher level language derives its great power form the fact that it tends to impose structure on the problem solving behavior for the user. Besides providing a library of useful subroutines with a uniform calling ...

Why Conniving is Better than Plannng
(19720401)This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our contention that the ...

Why Do We See Threedimensional Objects?
(19920601)When we look at certain linedrawings, we see threedimensional objects. The question is why; why not just see twodimensional images? We theorize that we see objects rather than images because the objects we see are, ...

Why Stereo Vision is Not Always About 3D Reconstruction
(19930701)It is commonly assumed that the goal of stereovision is computing explicit 3D scene reconstructions. We show that very accurate camera calibration is needed to support this, and that such accurate calibration is difficult ...

Wicked Problems and Gnarly Results: Reflecting on Design and Evaluation Methods for Idiosyncratic Personal Information Management Tasks
(20080210)This paper is a case study of an artifact design and evaluation process; it is a reflection on how right thinking about design methods may at times result in suboptimal results. Our goal has been to assess our decision ...

WideArea Egomotion Estimation from Known 3D Structure
(20060109)We describe an algorithm that takes as inputs a coarse3D model of an environment, and a video sequence acquiredwithin the environment, and produces as output an estimateof the cameraÂ s 6DOF egomotion expressed in the ...

Wireless Sensor Networks for Environmental Monitoring Applications
(20160816)After many years of rigorous research and development in wireless sensor network (WSN) technology with numerous responses to innovative applications, WSNs still have some interesting unanswered questions. In this thesis ...

WIRElist
(19690101)This memo describes a design aid used for the automatic production of wirelists for machine or hand wiring of wirecards.

Witt groups of complex varieties
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity Hall, 20110712)The thesis Witt Groups of Complex Varieties studies and compares two related cohomology theories that arise in the areas of algebraic geometry and topology: the algebraic theory of Witt groups, and real topological Ktheory. ...