 |
 |
|
|
|
A multiple layer model to compare RNA secondary structures: Software—Practice & Experience
A multi-level data representation, where each level is associated with a different level of information abstraction, is presented in this paper. This representation is applied to the study of... more
Biology And Genetics (J.3...) | Jan 6 09
Homomorphism preservation theorems: Journal of the ACM
Model theory is the abstract study of mathematical structures that satisfy axioms stated using a first-order logic. A general question that is investigated in model theory... more
Model Theory (F.4.1...) | Jan 6 09
DCER: sharing empirical computer science education data: ICER 08
The paper reports the results of a one-day workshop that examined a number of issues involved in setting up a computer science education (CSEd) research data depository to enable data sharing amongst... more
Computer Science Education (K.3.2...) | Jan 6 09
Creating ambient multimedia experience on-demand: opportunities, challenges and research models: MM 08
This paper deals with the subject of ambient multimedia, which describes a means of acquiring and distributing multimedia from various sources, at multiple locations, and in multiple forms.
The... more
Multimedia Information Systems (H.5.1) | Jan 5 09
Improving the performance of motor-impaired users with automatically-generated, ability-based interfaces: CHI 2008
A contribution in the field of assisted computing for motor-impaired individuals, this paper presents experiments and evaluates the results from the use of two systems... more
Assistive Tech ... Disabilities (K.4.2...) | Jan 5 09
Geometric observers for dynamically evolving curves: IEEE Transactions on Pattern Analysis and Machine Intelligence
Imagine tracking the image of a fish in murky waters. Not only is the image difficult to discern, but also the outline of the fish changes with the dynamics of the fish’s swimming. This paper seeks to... more
Vision And Scene Understanding (I.2.10) | Dec 30 08
Using genetic algorithms to evolve a population of topical queries: Information Processing and Management: an International Journal
This paper looks at a new mechanism using genetic algorithms (GA) to generate an improved query for an information retrieval system. There has been some research on using GAs for... more
Information Search And Retrieval (H.3.3) | Dec 30 08
Towards low-complexity Internet traffic engineering: the adaptive multi-path algorithm: Computer Networks: The International Journal of Computer and Telecommunications Networking
Engineering Internet traffic requires algorithms for endlessly distributing packet loads within network domains, in real time. But how should neighboring network nodes swap information... more
Network Management (C.2.3...) | Dec 29 08
Estimation of defects based on defect decay model: ED3M: IEEE Transactions on Software Engineering
When is software testing “done”? The obvious answer is when all the defects have been removed. Knowing how many defects exist in a software product has traditionally hinged on a variety... more
Testing And Debugging (D.2.5) | Dec 24 08
Data refinement and singleton failures refinement are not equivalent: Formal Aspects of Computing
Proving something often requires pages of intricate mathematics. Disproving something only requires that you provide one counterexample, and this is exactly what Reeves and Streader do in their... more
Restructuring ... Reengineering (D.2.7...) | Dec 24 08
|
|
|
|
|
 |
|
|
|
A second course in formal languages and automata theory
Bucking the trend to “dumb down” content, to make textbooks more broadly accessible for a first-level course, this book is a very welcome effort to woo interested students back to the joys and challenges of more... more
Classes Defined ... Automata (F.4.3...) | Jan 6 09
Innovation together: Microsoft Research Asia academic research collaboration
This work coincides with Microsoft Corporation marking the tenth anniversary of Microsoft Research Asia (MSRA), its largest research and development facility outside of the US. The anniversary recognizes through Innovation Day in Beijing that the... more
Microsoft Corporation (K.1...) | Jan 6 09
Pillars of computer science: essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (LNCS 4800)
This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85th birthday. It contains a valuable paper by Trakhtenbrot himself, which narrates the work in his thesis (the now-famous theorem of 1950 that validity of first-order... more
Mathematical Logic (F.4.1) | Jan 6 09
Building XNA 2.0 games: a practical guide for independent game development
Microsoft’s XNA Game Studio 2.0 provides a C# framework for the development of Windows and Xbox 360 games. This book, covering version 2.0, appeared just as version 3.0 was released (3.0 also supports game development for the Zune and... more
Games (K.8.0...) | Jan 5 09
Numerical methods for special functions
This wide-ranging work will sit nicely on a library shelf next to other classics [1], and will completely satisfy the typical needs of a scientist or engineer seeking to numerically compute special functions. Several analytical techniques like power series... more
General (G.1.0) | Jan 5 09
Protein-protein interactions and networks: identification, computer analysis, and prediction
Protein-protein interactions take place in almost all physiological processes. Understanding how and which proteins interact is key to understanding diseases and developing drugs for their cure. By... more
Life And Medical Sciences (J.3) | Jan 5 09
Stochastic network calculus
Jiang and Liu state the following as the main goal of the book: "To summarize results for stochastic service guarantee analysis using the theory of stochastic network calculus. Since many networks--such as wireless networks--provide only stochastic... more
Stochastic Processes (G.3...) | Dec 31 08
Hidden Markov models and dynamical systems
Hidden Markov models (HMMs) have wide application “since they emerged as the key technology for speech recognition.” This text provides an introduction to HMMs for the dynamical systems community. The book is organized into six chapters. Chapter 1... more
Markov Processes (G.3...) | Dec 31 08
Computational complexity: a conceptual perspective
Goldreich’s intended audience includes “advanced undergraduate and graduate students ... [and also] experts on complexity theory ... [by virtue of its coverage of] sub-areas of complexity theory such as hardness amplification, pseudo-randomness... more
Complexity Measures And Classes (F.1.3) | Dec 31 08
Taking your iPhone to the max
The iPhone is a very impressive feat of hardware and software engineering. Small, sleek, and sophisticated, it appeals to those who like beautiful things, and to those who like innovative and exotic gadgets. Some people simply like both aspects, and gladly... more
Portable Devices (C.5.3...) | Dec 30 08
|
|
|
