ACCESS
2015
8 years 3 months ago
2015
—Emergency navigation algorithms for evacuees in confined spaces typically treat all evacuees in a homogeneous manner, using a common metric to select the best exit paths. In th...
ACCESS
2015
8 years 3 months ago
2015
This paper investigates the problem of joint multiuser admission control and beamforming optimization for multiple input single-output heterogeneous networks (HetNets). Considered ...
ACCESS
2015
8 years 3 months ago
2015
As children develop, they differ from adults in a number of important ways, including anatomy, metabolism, immune system, and the extent of myelination of the nervous system. As a ...
ACCESS
2015
8 years 3 months ago
2015
—Wireless Sensor Networks (WSNs) are a prominent fundamental technology of the Internet of Things (IoT). Rather than device-to-device communications, group communications in the ...
ACAL
2015
Springer
8 years 3 months ago
2015
Springer
Believability is an important characteristic of intelligent virtual agents, however, very few attempts have been made to define and formalise it. This paper provides a formal anal...
ACAL
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. This is a review of three, agent control algorithm, replication experiments. In the 1948 essay, Intelligent Machinery, the English mathematician Alan Turing described an ...
TCCI
2016
8 years 3 months ago
2016
Abstract. Entity-based searching has been introduced as a way of allowing users and applications to retrieve information about a specific real world object such as a person, an ev...
LFCS
2016
Springer
8 years 3 months ago
2016
Springer
We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we intr...
LFCS
2016
Springer
8 years 3 months ago
2016
Springer
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most...
LFCS
2016
Springer
8 years 3 months ago
2016
Springer
We generalize the adjoint logics of Benton and Wadler (1996) and Reed (2009) to allow multiple different adjunctions between the same categories. This provides insight into the str...