168 views156 votes15 years 11 months ago UDM 2005»
In response to the advance of ubiquitous computing technologies, we believe that for computer systems to be ubiquitous, they must be context-aware. In this paper, we address the i...
258 views166 votes15 years 11 months ago ASP 2005»
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
249 views185 votes15 years 11 months ago ASP 2005»
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
125 views141 votes15 years 11 months ago BTW 2005»
: Knowledge about market developments and competitor activities on the market becomes more and more a critical success factor for enterprises. The World Wide Web provides public do...
144 views169 votes15 years 11 months ago ESOP 2005»
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
120 views132 votes15 years 11 months ago ICCBR 2005»
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
131 views208 votes15 years 11 months ago ICCBSS 2005»
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
124 views141 votes15 years 11 months ago IDEAL 2005»
Promiscuous human leukocyte antigen (HLA) binding peptides are ideal targets for vaccine development. Existing computational models for prediction of promiscuous peptides used hidd...
99 views148 votes15 years 11 months ago ISPA 2005»
In order to resolve the shortcomings of traditional workflow interoperation and realize more flexible workflow interoperation, this article describes a new workflow interoperating ...
116 views142 votes15 years 11 months ago ISRR 2005»
Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS)...