D.C.P. Services DirectoryYou are here » D.C.P. Services » Links Directory » Computers
Computers RSS FeedsCapsule Reviews - The Capsule Reviews are intended to provide a short succinct review of each paper in the issue in order to bring the content to a wider readership. The Capsule Reviews were compiled by Fairouz Kamareddine. Professor Kamareddine is an Associate Editor of The Computer Journal and is based in the Department of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh, UK. ...Feed Source: comjnl.oxfordjournals.org R-Calculus: An Inference System for Belief Revision -
First-order languages have been introduced to describe beliefs formally and the concept of revision is defined for model as well as proof. A logical inference system named R-calculus is defined to derive all maximal contractions of a base of belief set for its given refutations. The R-calculus consists of the structural rules, an axiom, a cut rule and the rules for logical connectives and quantifiers. Some examples are given to demonstrate how t... Qualitative Spatial Representation and Reasoning: A Hierarchical Approach -
The ability to reason in space is crucial for agents in order to make informed decisions. Current high-level qualitative approaches to spatial reasoning have serious deficiencies in not reflecting the hierarchical nature of spatial data and human spatial cognition. This article proposes a framework for hierarchical representation and reasoning about topological information, where a continuous model of space is approximated by a collection of dis... Model Checking Temporal Logics of Knowledge Via OBDDs -
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logics. Comparatively little attention has been given to temporal logics of knowledge, although such logics have been proven to be very useful in the specifications of protocols for distributed systems. In this paper, we addressed the model checking problem for a temporal logic of knowledge (Halpern and Vardi's logic of... User-Oriented Feature Selection for Machine Learning -
The effectiveness of any machine learning algorithm depends, to a large extent, on the selection of a good subset of features or attributes. Most existing methods use the syntactic or statistical information of the data, relying on a heuristic criterion to select features. In this paper, we investigate an alternative less-studied approach called user-oriented feature selection by exploiting the domain-specific semantic information. Given any two... A Two-Phase Optimization Algorithm For Mastermind -
This paper presents a systematic model, two-phase optimization algorithms (TPOA), for Mastermind. TPOA is not only able to efficiently obtain approximate results but also effectively discover results that are getting closer to the optima. This systematic approach could be regarded as a general improver for heuristics. That is, given a constructive heuristic, TPOA has a higher chance to obtain results better than those obtained by the heuristic. ... Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA -
Recently many scalable and efficient solutions for event dissemination in publish/subscribe (pub/sub) systems have appeared in the literature. This dissemination is usually done over an overlay network of brokers and its cost can be measured as the number of messages sent over the overlay to allow the event to reach all intended subscribers. Efficient solutions to this problem are often obtained through smart dissemination algorithms that avoid ... Context-aware Timely Information Delivery in Mobile Environments -
In mobile environments, transmitting information relevant to an event along with notification of the event has been proven to be an effective means of providing revenue enhancing services. For example, a relevant advertisement can be displayed just before event notification; for instance, a product promotion by Beckham can be shown just before the notification of a goal scored by him. Challenges in achieving real-time search and delivery of info... A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem -
In this paper, we consider the problem of boundary fill of a 4 or 8-connected region in a graphic device having a color image frame-buffer memory. We provide an algorithm that solves the problem in a time linear in the number of pixels in the region and requiring only constant memory space in addition to the frame-buffer memory itself. We map this problem to a boundary fill problem in a general graph, and solve it using a novel depth first searc... A Layer-2 Framework for Interconnecting Ad Hoc Networks to Fixed Internet: Test-bed Implementation and Experimental Evaluation -
It is widely recognized that a prerequisite for the commercial penetration of the ad hoc networking technologies is the integration with existing wired/wireless infrastructure-based networks to provide an easy and transparent access to the Internet and its services. However, most of the existing solutions for enabling the interconnection between IPv4-based mobile ad hoc networks and the Internet are based on complex and inefficient mechanisms, a... WorldStart Computer Tips & Techniques 07-27-2007 - Valuable Vista Reliability Monitor + Command Custom Menus + Fr... DNA Profiles Link Dope to Its Source - 09 Jul 03
Forensic scientists in the U.S. are applying DNA fingerprinting methods to the cannabis plant. They say the technique, which is being used to create a database of DNA profiles of different marijuana plants, will help them to trace the source of any sample.
'It links everybody together: the user, the distributor, the grower,' says the database's creator, Heather Miller Coyle of the Connecticut State Forensic Science Laboratory in Meriden... Mathematics: Does the Proof Stack Up? - by George Szpiro
03 Jul 03
Just under five years ago, Thomas Hales made a startling claim. In an e-mail he sent to dozens of mathematicians, Hales declared that he had used a series of computers to prove an idea that has evaded certain confirmation for 400 years. The subject of his message was Kepler's conjecture, proposed by the German astronomer Johannes Kepler, which states that the densest arrangement of spheres is one in which they are stack... Scientists Discover Planetary System Similar to Our Own -
The image shows an impression by David A. Hardy of a possible scene from a moon orbiting the extra-solar planet in orbit around the star HD70642. Photo Credit: David A. Hardy.
... Hacker How-To Good Summer Reading - by Michelle Delio
27 Jun 03
Stealing the Network: How to Own the Boxby Ryan RussellSyngress, 330 pp., $49.95
Stealing The Network: How to Own the Box, a compendium of tales written by well-known hackers, is a perfect summer read. The stories are fictional. The technology and techniques described are very real.
A warning: Those... Copyright © 2010, D.C.P. Services. All Rights Reserved. |