Browsing Electronic Engineering and Computer Science by Issue Date
Now showing items 1-20 of 3263
-
Categorical Proof-Theoretic Semantics
(Springer, 03-05-2024)In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from ... -
CloudAIBus: a testbed for AI based cloud computing environments
(Springer Science and Business Media LLC, 06-06-2024)Smart resource allocation is essential for optimising cloud computing efficiency and utilisation, but it is also very challenging as traditional approaches often overprovision CPU resources, leading to financial inefficiencies. ... -
Correlation and Spectral Density Functions in Mode-Stirred Reverberation - I. Theory
(Institute of Electrical and Electronics Engineers, 10-04-2024)Auto- and cross-spectral density functions (SDFs) for dynamic random fields and power are derived. These are based on first- and second-order Padé approximants of correlation functions expanded in terms of spectral moments. ... -
The Weisfeiler-Leman Dimension of Conjunctive Queries
(14-05-2024)A graph parameter is a function f on graphs with the property that, for any pair of isomorphic graphs G1 and G2, f(G1)=f(G2). The Weisfeiler--Leman (WL) dimension of f is the minimum k such that, if G1 and G2 are ... -
Distribution Matching for Multi-Task Learning of Classification Tasks: a Large-Scale Study on Faces & Beyond
(Association for the Advancement of Artificial Intelligence (AAAI), 24-03-2024)Multi-Task Learning (MTL) is a framework, where multiple related tasks are learned jointly and benefit from a shared representation space, or parameter transfer. To provide sufficient learning support, modern MTL uses ... -
Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation
(A Springer Nature Computer Science book series (CCIS, LNAI, LNBI, LNBIP or LNCS), 29-03-2024)Modelling musical structure is vital yet challenging for artificial intelligence systems that generate symbolic music compositions. This literature review dissects the evolution of techniques for incorporating coherent ... -
Internet packet traffic congestion
(2003) -
Count three for wear able computers
(2004-02-01)A description of 'ubiquitous computer' is presented. Ubiquitous computers imply portable computers embedded into everyday objects, which would replace personal computers. Ubiquitous computers can be mapped into a three-tier ... -
Classification of the asymptotic Proof Complexity of Polynomial Calculus
(Springer, 2008)We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well as for Polynomial Calculus, (PC) has four ... -
Generalized face super-resolution
(2008-06) -
Why Risk Models should be Parameterised
(2009)Risk models using fault and event trees can be extended with explicit factors, which are states of the system, its users or its environment that influence event probabilities. The factors act as parameters in the risk ... -
Voice controlled automation system
(IEEE, 2009-02-06)In this era of technology, rapid advancements are being made in the field of automation and signal processing. The developments made in digital signal processing are being applied in the field of automation, communication ... -
Curriculum Learning
(International Machine Learning Society, 2009-06-14)Humans and animals learn much better when the examples are not randomly presented but organized in a meaningful order which illustrates gradually more concepts, and gradually more complex ones. Here, we formalize such ... -
A Multimodal System for Gesture Recognition in Interactive Music Performance
(Massachusetts Institute of Technology Press (MIT Press): Arts & Humanities Titles etc, 2009-11-30)