ICCASA
2014
11 years 1 months ago
2014
Abstract. We propose a logical framework for modelling and verifying contextaware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting ...
250
click to vote
HRI
2014
ACM
11 years 1 months ago
2014
ACM
In human relationships, responsiveness—behaving in a sensitive manner that is supportive of another person’s needs— plays a major role in any interaction that involves effe...
HASE
2014
IEEE
11 years 1 months ago
2014
IEEE
— An unpatched vulnerability can lead to security breaches. When a new vulnerability is discovered, it needs to be assessed so that it can be prioritized. A major challenge in so...
111
click to vote
FPGA
2014
ACM
11 years 1 months ago
2014
ACM
Achievable frequency (fmax) is a widely used input constraint for designs targeting Field-Programmable Gate Arrays (FPGA), because of its impact on design latency and throughput. ...
FICTA
2014
11 years 1 months ago
2014
Polymers provide chemical interfaces to electronic nose sensors for detection of volatile organic compounds. An electronic nose combines a properly selected set of sensors (array) ...
CGO
2014
IEEE
11 years 1 months ago
2014
IEEE
—To make applications with dynamic data sharing among threads benefit from GPU acceleration, we propose a novel software transactional memory system for GPU architectures (GPU-S...
ARCS
2014
Springer
11 years 1 months ago
2014
Springer
Corner-detection techniques are being widely used in computer vision – for example in object recognition to find suitable candidate points for feature registration and matching....
AOSD
2014
ACM
11 years 1 months ago
2014
ACM
Scoping behavioral variations to dynamic extents is useful to support non-functional requirements that otherwise result in crosscutting code. Unfortunately, such variations are di...
CITISENS
2014
12 years 2 months ago
2014
In the next forty years, the number of people living with dementia is expected to triple. In the last stages, people affected by this disease become dependent. This hinders the au...
170
click to vote
WWW
2013
ACM
12 years 2 months ago
2013
ACM
News articles typically drive a lot of traffic in the form of comments posted by users on a news site. Such usergenerated content tends to carry additional information such as ent...