APWEB
2011
Springer
13 years 6 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
DC
2010
13 years 8 months ago
2010
In this paper, we present RAMBO, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. RAMBO provides a highly reliable, hi...
IOT
2010
13 years 8 months ago
2010
We present a novel method of building comfort control, focused around the occupant. Custom sensing, communication, and actuation hardware were developed to locate users in a buildi...
IOT
2010
13 years 8 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
IOT
2010
13 years 8 months ago
2010
Abstract--1D or linear barcodes are the black-and-whitestriped codes that can be found on most consumer products. This work evaluates existing 1D barcode scanners for mobile phones...
IMCSIT
2010
13 years 8 months ago
2010
IMCSIT
2010
13 years 8 months ago
2010
In this paper, we propose the use of the pairwise comparisons (PC) method for selection of strategies for software certification. This method can also be used to rank alternative s...
IMCSIT
2010
13 years 8 months ago
2010
A Hadamard representation, which is an alternative towards the binary representation, is considered in this study. It
IMCSIT
2010
13 years 8 months ago
2010
Modeling of optimized motion controller is one of the interesting problems in the context of behavior based mobile robotics. Behavior based mobile robots should have an ideal contr...
IMCSIT
2010
13 years 8 months ago
2010
Abstract--A Web-based system for human evaluation of machine translation is presented in this paper. The system is based on comprehension tests similar to the ones used in Polish m...