|
A theory of contracts for Web services:
ACM Transactions on Programming Languages and Systems
In Web-based computing, services and clients must agree on their contract--the order of the messages to be exchanged--in order to have a successful conversation. In particular...
Parallelism & Concurrency (F.1.2...)
| Jul 1 10
Empirical hardness models:
Journal of the ACM
It took a decade of work to mellow a set of fresh ideas into a mature approach. This was the case with empirical hardness models, a new area in algorithmics, where machine learning is used to predict...
Automatic Analysis of Algorithms (I.2.2...)
| Jul 1 10
Algorithm 903:
ACM Transactions on Mathematical Software
Free rigid bodies are important objects in physics and engineering. For many years, the computation of their motions has been a topic of great interest in...
Algorithm Design & Analysis (G.4...)
| Jul 2 10
Exploring NVIDIA-CUDA for video coding:
Colic, Kalva, and Furht discuss techniques for optimizing full search motion estimation using NVIDIA’s Compute Unified Device Architecture (CUDA) and graphics...
Parallel Programming (D.1.3...)
| Jul 2 10
An eye localization, tracking and blink pattern recognition system:
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
The identification of blink patterns can be applied in several cases, such as determining a subject’s attentiveness, drowsiness, and consciousness. Several approaches have been proposed for this...
Modeling & Recovery of Phys. Att. (I.2.10...)
| Jul 6 10
Automatically annotating the MIR Flickr dataset:
Comparing approaches for automatic annotation and semantic retrieval of large image collections is of great interest and a big challenge. Hare and Lewis make an important contribution to the field...
Performance Evaluation (H.3.4...)
| Jul 6 10
Orientations to video games among gender and age groups:
Simulation and Gaming
This paper presents the results of a survey given to more than 1,200 students, ranging from 5th grade to university undergraduates, regarding the time they spend playing video games and their motives...
Games (K.8.0...)
| Jul 7 10
CHOC’LATE:
Communications of the ACM
A formal specification can be used to generate test cases for a software system. A choice relation framework system provides a mechanism and a supporting tool for systematically converting...
Design Tools & Techniques (D.2.2)
| Jul 7 10
How green is green?:
IEEE Pervasive Computing
Using pervasive computing, Want attempts to relate a diversity of concerns on energy conservation and carbon dioxide (CO2) emissions. As is customary in energy and...
Perf. Analysis & Design Aids (B.8.2)
| Jul 7 10
Randomly coloring random graphs:
Random Structures & Algorithms
The problem of coloring random graphs is a well-known problem in computer science that has been receiving ample attention. The problem consists of finding an assignment of colors--from a predefined...
Graph Algorithms (G.2.2...)
| Jul 8 10
|
|
Fuzzy image processing and applications with MATLAB
Almost all of the literature on the application of fuzzy logic and set theory to image processing is in the form of edited collections of papers. While this may be suitable for keeping informed on the progress in the field, there are no textbooks on...
Matlab (G.4...)
| Jul 1 10
Foundations of systems biology
Since biological organisms consist of a huge amount of molecules (such as proteins) that fulfill their functions, it is well known that the interactions between these...
Life & Medical Sciences (J.3)
| Jul 2 10
The manga guide to databases
Is it possible to learn databases with a manga comic? This is the proposal of technical writer Mana Takahashi and cartoonist Shoko Azuma, who attempt to teach the basics of databases with an unconventional fairy tale. In the story, Princess Ruruna faces big...
General (H.2.0)
| Jul 6 10
Statistical techniques for network security
This book offers a comprehensive view of statistical approaches for network intrusion detection. The main topic of network intrusion detection is deciding whether an observed event or sequence of events is...
Security & Protection (K.6.5)
| Jul 7 10
Handbook of peer-to-peer networking
Writing a book that provides up-to-date information on a relatively new engineering field is an ambitious project. Apparently, this was the goal for this long-awaited work on peer-to-peer (P2P) and overlay networking. On the one hand, I see a struggle...
Network Operations (C.2.3)
| Jul 7 10
Under control
The long-term trend in the last century has been toward increased corporate accountability. The demand for more regulations, monitoring, and enforcement mechanisms has greatly increased since the economic crisis of 2008 and the...
Regulation (K.5.2...)
| Jul 8 10
The art of multiprocessor programming
As the clock speed of central processing units (CPUs) does not increase because of heating issues, chip manufacturers are fitting more and more transistors in the same space. Hence, while exploiting...
Mult. Data Stream Arch. (Multiproc.) (C.1.2)
| Jul 8 10
Structural bioinformatics
Bioinformatics is an area of study that uses linear algebra and computer modeling to analyze interactions that take place at the molecular level in biological systems. The scientific community has learned...
Life & Medical Sciences (J.3)
| Jul 9 10
Blogging to drive business
In this book, readers will find a practical introduction to developing a business blog. While the book is not a marketing textbook, the treatment is an ideal introduction to the new world of social media strategies. For novice bloggers...
Business (J.1...)
| Jul 9 10
Patent law for computer scientists
As the torchbearers of one of the fastest developing fields over the last few decades, computer scientists have proposed, implemented, and demonstrated great ideas. But patenting them has been a daunting...
Patents (K.5.1...)
| Jul 12 10
|
|
