AROBOTS
2016
8 years 9 months ago
2016
—Motion planning in high dimensional state spaces, such as for mobile manipulation, is a challenging problem. Constrained manipulation, e.g. opening articulated objects like door...
TEI
2014
ACM
8 years 9 months ago
2014
ACM
The use of autonomous behaviour in Tangible User Interfaces can potentially create a compelling and new kind of interaction between humans and computers. We motivate this argument...
ISCAS
2013
IEEE
9 years 7 months ago
2013
IEEE
— Image search reranking has attracted extensive attention. However, existing image reranking approaches deal with different features independently while ignoring the latent topi...
DSD
2013
IEEE
9 years 7 months ago
2013
IEEE
—Asynchronous logic is a promising technology for building the chip-level interconnect of multi-core systems. However, asynchronous circuits are vulnerable to faults. This paper ...
ECMDAFA
2013
Springer
10 years 8 months ago
2013
Springer
Abstract. MBE (Model-Based Engineering) proposes to develop software by taking advantage of models, in contrast to traditional codecentric development approaches. If models play a ...
CAV
2013
Springer
10 years 8 months ago
2013
Springer
CARDIS
2013
Springer
10 years 8 months ago
2013
Springer
Abstract. Currently, security checks on Java Card applets are performed by a static verification process before executing an applet. A verified and later unmodified applet is no...
AT
2013
10 years 8 months ago
2013
We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C...
SIGMETRICS
2012
ACM
12 years 3 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
SIGMETRICS
2012
ACM
12 years 3 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...