etd AT Indian Institute of Science: Recent submissions
Now showing items 421-440 of 7572
-
Design and implementation of real-time scheduling schemes for genral purpose operating systems
In recent years, we have seen proliferation of computation-intensive, time-critical applications like real-time video, audio, IP-based telecommunication and so on. These applications offer value-added, nice-to-have features ... -
Some results about minimum cuts, treewidth and hamiltonian circuits
In this thesis, we study various graph theoretic structures. One of the topics we study is the minimum cuts in a graph. We relate the number of minimum cuts in a weighted undirected graph with various structural parameters ... -
Essays in applied combinatorics
Combinatorial mathematics concerns itself with the study of discrete structures and relations. It plays a crucial role in computer science, since digital computers manipulate discrete, finite objects. The study of algorithms, ... -
Unified approach to solve the intersection curve tracing problem in geometric modelling
Computation of a parametrization of the intersection curve of two surfaces in R³ is a common and fundamental operation occurring in Geometric Modelling, CAD, Robotics, etc. It is, in general, a non-trivial problem to solve. ... -
Integer factorization algorithms
Integer Factorization is an old problem in Number Theory, which has long been regarded as a fundamentally difficult problem. Since 1970, there have been substantial advances in integer factorization. A number of algorithms ... -
Competitive queueing models of serial order memory in speech and language
A recent focus in cognitive and brain sciences is to construct models for memory starting with assumptions that are neurophysiologically plausible. The behavior of the model should fit the empirical data. In this thesis, ... -
A parallel processor system for real -time speech signal processing
The structure of a parallel processing system, employing microprogrammable microprocessors, has been described, which can be adapted for real-time LP analysis and synthesis of speech signals. The parallel forms of basic ... -
Data clustering and evolutionary algorithms for data mining
In this work, we present a scheme for selecting optimal prototypes from large data sets, as a part of "Data Mining process". Data mining is defined as a process of non-trivial extraction of implicit, previously unknown and ... -
On-Line tamil characater recognition using neural networks
In this thesis, we design a neural network-based online Tamil character recognition system. The thesis focuses on the following areas: Character representation, Neural network architecture, and Training algorithms for ... -
Gap between outcomes of voting rules
Through the course of history, a variety of voting rules have been used to determine election outcomes. The traditional way in social choice theory to evaluate a voting rule is by checking whether it satisfies axioms deemed ... -
New algorithm for linear tree pattern matching
Tree pattern matching is foundational to a wide variety of applications in Computer Science. We consider the problem of linear tree pattern matching and adopt a technique used for parsing context-free languages for this ... -
Deterministic parsing algorithm for classes beyond CFLs
Deterministic parsing strategies for subclasses of the so-called mildly context-sensitive languages are proposed. Mildly context-sensitive languages are generated by k-level grammars and have parsing algorithms of time ... -
Genetic algorithms: novel models and fitness -based adaptive disruption strategies
Genetic Algorithms are robust search and optimization methods that have emerged to be effective for a variety of real-world problems. They are stochastic, iterative techniques based on a population of evolving solutions, ... -
Supercombinator based implementation of lazy functional programming languages
Functional languages are becoming popular for the ease of programming that they facilitate. The implementation of a class of these languages is described. A method for compile-time detection of potential garbage in one ... -
Intelligent backtracking in logic programming.
Logic programming languages are being used extensively in the Fifth Generation Computer Project and in the areas of artificial intelligence, knowledge representation, expert systems and other reasoning systems. One very ... -
Integrated analytical models for parallel and distributed computing systems
Analytical modelling plays an important role in the design and development of parallel and distributed computing systems. In this context, Product Form Queueing Networks (PFQNs) and Generalized Stochastic Petri Nets (GSPNs) ... -
Automata constructions and decision procedures for metric temporal logic
Linear-Time Temporal Logic (LTL) [Pnu77] and its timed variant Metric Temporal Logic (MTL) [Koy90] are popular ways of specifying and reasoning about qualitative and quantitative behaviours of systems. In this thesis, we ... -
On the expressiveness of metric temporal logic
Temporal Logics are a popular formalism for specification of properties in the verification of reactive systems. They can be employed to reason about the behavior of systems with the evolution of time. For example, one can ... -
Predictive modelling for migration within a secondary storage level
Current high-end systems used in web and database servers utilize large storage capacities. Despite the annual decline in disk drive prices, the cost of the storage system now accounts for about 30% to 40% of the total ... -
Design of pattern classifiers using optimization techniques
Of the various approaches to the design of pattern classifiers, those that depend on a given finite set of patterns have received considerable attention in the literature. These approaches fall into two categories depending ...