# Browse Dept. of Computer Science by Title

• (1989)
Software maintenance is the most expensive part of the software life-cycle. This is partially due to the fact that quite often the only reliable and available documentation about a program is its source code and all the ...

application/pdf

PDF (6MB)
• (1987)
This thesis addresses the use of knowledge-based techniques in providing high level support for software design activities. A knowledge-based refinement paradigm of software development is introduced that alleviates some ...

application/pdf

PDF (8MB)
• (1990)
To learn effectively, a system needs to use all the knowledge that is available. Explanation-based learning and similarity-based learning operate over a domain theory and a set of examples, respectively, but neither approach ...

application/pdf

PDF (6MB)
• (1996)
The relationship between constructive induction and domain knowledge can be analyzed systematically. Recent research has integrated knowledge and constructive induction in isolated domains with some success, but undue ...

application/pdf

PDF (8MB)
• (2006-10)
This paper documents KOOL, a dynamic, object-oriented language designed using the K framework. The KOOL language includes many features available in mainstream object-oriented languages, including such features as runtime ...

application/pdf

PDF (432kB)
• (2010-09-22)
Term rewriting proved to be a simple, uniform and powerful computational paradigm. Rewrite rules independently match and apply anywhere, unconstrained by the context. Rewriting is particularly appealing for deﬁning ...

application/pdf

PDF (755kB)
• (1993)
This thesis is concerned with numerical methods for the robust and efficient solution of fundamental problems in general relativity, fluid dynamics, chemical kinetics, electrical networks, and other areas of science and ...

application/pdf

PDF (5MB)
• (2007)
Third, we propose a multilevel sparse approximate inverse (MSPAI) preconditioner for adaptive mesh refinement. It significantly improves the conditioning of the linear systems by approximating the global modes with multilevel ...

application/pdf

PDF (4MB)
• (2007-09)
Topology optimization is a powerful tool for global and multiscale design of structures, microstructures, and materials. The computational bottleneck of topology optimization is the solution of a large number of extremely ...

application/pdf

PDF (5MB)
• (1992)
This thesis describes CAM (Categories, Agreement, and Morphology), a computer model of several aspects of language acquisition. CAM is based on the Semantic Bootstrapping Hypothesis (Pinker, 1984), and CAM also respects ...

application/pdf

PDF (9MB)
• (1993)
One of the obstacles to be overcome in Natural Language Understanding is the existence of lexical gaps; that is, words or word senses which are not in the lexicon of the system. No lexicon, whether hand-coded or derived ...

application/pdf

PDF (14MB)
• (1982)
One of the problems in building a general purpose operating system is the construction of interfaces between programs that are interdependent but are loaded at different times. This thesis presents a model that generalizes ...

application/pdf

PDF (4MB)
• (2005-05)
In neighborhood-based texture synthesis, adjacent local regions need to satisfy color continuity constraints in order to avoid visible seams. Such continuity constraints seriously restrict the variability of synthesized ...

application/pdf

PDF (434kB)
• (2010-05)
This dissertation investigates novel approaches for analysis and visualization of two kinds of graph, scale-free network and rooted hierarchy, at large scales with thousands to millions of nodes. Scale-free network, ...

application/pdf

PDF (13MB)
• (2010-05-19)
This dissertation investigates novel approaches for analysis and visualization of two kinds of graph, scale-free network and rooted hierarchy, at large scales with thousands to millions of nodes. Scale-free network, ...

application/pdf

PDF (13MB)
• (2012-05-22)
Large lectures are a difficult and complicated area of exploration, both technologically and socially. Here is presented a discussion of existing areas of investigation related to large lectures, including fostering crowd ...

application/pdf

PDF (1MB)
• (2007)
The Web has been rapidly "deepened" by myriad searchable databases online, where data are hidden behind query interfaces. Guarding data behind there, such query interfaces are the "entrances" or "doors" to the deep Web. ...

application/pdf

PDF (5MB)
• (2006-12)
The Web has been rapidly deepened'' by myriad searchable databases online, where data are hidden behind query interfaces. Guarding data behind them, such query interfaces are the entrances'' or doors'' to the deep ...

application/pdf

PDF (2MB)
• (2013-08-22)
Large-scale networks, such as the Internet, cellular networks, play critical roles in today's life. The advancement of large-scale computer and communication networks heavily depends on the successful transformation from ...

application/pdf

PDF (9MB)
• (2009)
We studied the problem of constraint-based pattern mining for three different data formats, item-set, sequence and graph, and focused on mining patterns of large sizes. Colossal patterns in each data formats are studied ...

application/pdf

PDF (1MB)