Search Results - Theory of computation Models of computation Interactive computation

Asynchronous Template Games and the Gray Tensor Product of 2-Categories by Mellies, Paul-Andre

“…In his recent and exploratory work on template games and linear logic, Melliès defines sequential and concurrent games as categories with positions as objects…”
Get full text

Dynamic Algorithm Selection for SMT by Pimpalkhare, Nikhil

“…We describe an online approach to SMT solver selection using nearest neighbor classification and runtime estimation. We implement and evaluate our approach…”
Get full text

Online scheduling for multi-core shared reconfigurable fabric by Chen, Liang, Marconi, Thomas, Mitra, Tulika

“…Processor customization in the form of application-specific instructions has become a popular choice to meet the increasing performance demands of embedded…”
Get full text

Estimating Post-Synaptic Effects for Online Training of Feed-Forward SNNs by Summe, Thomas M., Schaefer, Clemens JS, Joshi, Siddharth

“…Facilitating online learning in spiking neural networks (SNNs) is a key step in developing event-based models that can adapt to changing environments and learn from continuous data streams in real-time…”
Get full text

Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations by Mars, Jason, Hundt, Robert

“…Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The…”
Get full text

On-line scheduling of target sensitive periodic tasks with the gravitational task model by Guerra, Raphael, Fohler, Gerhard

“… In the gravitational task model, a task can express a target point, and the utility decay as a function of the deviation from this point…”
Get full text

Online Algorithms for Location-Aware Task Offloading in Two-Tiered Mobile Cloud Environments by Qiufen Xia, Weifa Liang, Zichuan Xu, Bingbing Zhou

“…Mobile Cloud Computing (MCC) is emerging as a main ubiquitous computing platform which enables to leverage the resource limitations of mobile devices and wireless networks by offloading data-intensive computation tasks…”
Get full text

Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints by Andrei, Alexandru, Schmitz, Marcus T., Eles, Petru, Peng, Zebo, Hashimi, Bashir M. Al

“…Supply voltage scaling and adaptive body-biasing are important techniques that help to reduce the energy dissipation of embedded systems. This is achieved by…”
Get full text

Understanding Privacy-Control Arrangements Based on a Theory of Interactive Computation in B2C Service Models by Morizio, Patricia

“… However, the dynamics of dominant service models in relation to privacy-control arrangements between corporations and consumers are not well understood…”
Get full text

Interactive Secure Function Computation by Data, Deepesh, Kurri, Gowtham R., Ravi, Jithin, Prabhakaran, Vinod M.

“…We consider interactive computation of randomized functions between two users with the following privacy requirement…”
Get full text

Finite Model Theory of the Triguarded Fragment and Related Logics by Kieronski, Emanuel, Rudolph, Sebastian

“… We show that the TGF has the finite model property (providing a tight doubly exponential bound on the model size…”
Get full text

Evolutionary Computation: Theories, Techniques, and Applications

“…Evolutionary computation offers powerful problem-solving methodologies inspired by models of natural genetics and evolutionary processes…”
Get full text

On-line Coordination: Event Interaction and State Communication between Cooperative Agents by Pham, Manh Tung, Seow, Kiam Tian

“…This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem…”
Get full text

Interactive Computation and Artificial Epistemologies by Parisi, Luciana

“… and the biocentric speciation of thought. The article draws on Sylvia Wynter’s discussion of the sociogenic principle to argue that both neurocognitive and formal models…”
Get full text

Tank War Using Online Reinforcement Learning by Andersen, Kresten Toftgaard, Zeng, Yifeng, Christensen, Dennis Dahl, Tran, Dung

“…Real-Time Strategy(RTS) games provide a challenging platform to implement online reinforcement learning(RL) techniques in a real application. Computer as one…”
Get full text

Online task-scheduling for fault-tolerant low-energy real-time systems by Wei, Tongquan, Mishra, Piyush, Wu, Kaijie, Liang, Han

“…In this paper we investigate fault tolerance and Dynamic Voltage Scaling (DVS) in hard real time systems. We present two low-complexity fault-aware scheduling…”
Get full text

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames by Verbrugge, Rineke

“…: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size…”
Get full text

Categorical models of Linear Logic with fixed points of formulas by Ehrhard, Thomas, Jafarrahmani, Farzad

“…) and relations preserving it, least and greatest fixed points have distinct interpretations. This latter model shows…”
Get full text

A Hybrid Architecture for Interactive Verifiable Computation by Vu, V., Setty, S., Blumberg, A. J., Walfish, M.

“…We consider interactive, proof-based verifiable computation: how can a client machine specify a computation to a server, receive an answer, and then engage…”
Get full text

Secure Outsourced Matrix Computation and Application to Neural Networks by Jiang, Xiaoqian, Kim, Miran, Lauter, Kristin, Song, Yongsoo

“… Comparing to secure Multi-Party Computation (MPC), HE has advantages in supporting non-interactive operations and saving on communication costs…”
Get more information