The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday hours that pertain to his or…

The Internet is a powerful channel that presents new opportunities for touching
customers, enriching products and services with information, squeezing out costs
through process automation, and redesigning internal business processes through
enhanced communication and knowledge sharing. In…

The need for robust and easily extensible systems for word sense disambiguation coupled with successes in training systems for a variety of tasks using large on-line corpora has led to extensive research into corpus-based statistical approaches to this problem. Promising…

Customer power is growing, and customers now have tools that inform them of the true state of affairs. This power enables them to avoid the pushy messages of marketers, make their own decisions, and determine what to buy. A company…

(cont.) yield a new proof of a result of Mochizuki yield a new proof of a result of Mochizuki Frobenius-unstable bundles for C general, and hence obtaining a self-contained proof of the resulting formula for the degree of V₂., Using…

The goal of this thesis is to apply the computational approach to motor learning, i.e., describe the constraints that enable performance improvement with experience and also the constraints that must be satisfied by a motor learning system, describe what is…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…