English
Related papers

Related papers: A progression ring for interfaces of instruction s…

200 papers

The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance. It makes the…

Software Engineering · Computer Science 2012-10-10 Pavol Černý , Martin Chmelík , Thomas A. Henzinger , Arjun Radhakrishna

Large-scale industrial recommendation systems typically employ a two-stage paradigm of retrieval and ranking to handle huge amounts of information. Recent research focuses on improving the performance of retrieval model. A promising way is…

Information Retrieval · Computer Science 2025-08-21 Chengcheng Guo , Junda She , Kuo Cai , Shiyao Wang , Qigen Hu , Qiang Luo , Kun Gai , Guorui Zhou

The representation of graphs is commonly based on the adjacency matrix concept. This formulation is the foundation of most algebraic and computational approaches to graph processing. The advent of deep learning language models offers a wide…

Artificial Intelligence · Computer Science 2025-12-16 Ezequiel Lopez-Rubio

Recommender systems are one of the most successful applications of data mining and machine learning technology in practice. Academic research in the field is historically often based on the matrix completion problem formulation, where for…

Information Retrieval · Computer Science 2018-02-26 Massimo Quadrana , Paolo Cremonesi , Dietmar Jannach

We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…

Quantum Algebra · Mathematics 2012-02-07 Pavel Etingof , Shlomo Gelaki

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of…

Programming Languages · Computer Science 2011-08-03 Vincenzo Ciancia

We propose a new method for quantitative characterization of spatial network-like patterns with loops, such as surface fracture patterns, leaf vein networks and patterns of urban streets. Such patterns are not well characterized by purely…

Pattern Formation and Solitons · Physics 2015-05-20 Andrea Perna , Pascale Kuntz , Stéphane Douady

In many real-life tasks of application of supervised learning approaches, all the training data are not available at the same time. The examples are lifelong image classification or recognition of environmental objects during interaction of…

Machine Learning · Computer Science 2020-06-15 Miltiadis Poursanidis , Jenny Benois-Pineau , Akka Zemmari , Boris Mansenca , Aymar de Rugy

This paper presents INGRESS, a robot system that follows human natural language instructions to pick and place everyday objects. The core issue here is the grounding of referring expressions: infer objects and their relationships from input…

Robotics · Computer Science 2018-06-12 Mohit Shridhar , David Hsu

This paper describes an approach for user (e.g. SW architect) assisting in software processes. The approach observes the user's action and tries to predict his next step. For this we use approaches in the area of machine learning (sequence…

Software Engineering · Computer Science 2011-10-07 Michael Deynet

In HCI, frameworks function as a type of theoretical contribution, often supporting ideation, design, and evaluation. Yet, little is known about how they are actually used, what functions they serve, and which scholarly practices that shape…

Human-Computer Interaction · Computer Science 2026-03-20 Shitao Fang , Koji Yatani , Kasper Hornbæk

In this paper, the authors propose a software metric called Class Activeness Metric which helps to determine the level of accessibility of the members of a class when it is instantiated as objects. Object interactions need to be straight…

Software Engineering · Computer Science 2012-09-24 Sachin Lakra , Deepak Kumar Sharma , Jugnesh Kumar , Ramesh Chandra Verma , T V Prasad

The advantage of the electronic and mobile learning platforms is the dissemination of learning contents with ease, but these operate differently to exchange the learning the learning contents from the server to the client. integrating these…

Software Engineering · Computer Science 2019-03-19 Ali Baba Dauda , Auwal Idris , Suleiman Umar , Peter Mshelia , AbdulAziz Ibrahim

Topology identification and inference of processes evolving over graphs arise in timely applications involving brain, transportation, financial, power, as well as social and information networks. This chapter provides an overview of graph…

Signal Processing · Electrical Eng. & Systems 2025-12-12 Gonzalo Mateos , Yanning Shen , Georgios B. Giannakis , Ananthram Swami

Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this…

Software Engineering · Computer Science 2019-07-12 Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev

Analyzing sequential data is crucial in many domains, particularly due to the abundance of data collected from the Internet of Things paradigm. Time series classification, the task of categorizing sequential data, has gained prominence,…

Machine Learning · Computer Science 2024-06-21 Venkata Ragavendra Vavilthota , Ranjith Ramanathan , Sathyanarayanan N. Aakur

This paper proposes a novel framework for recurrent neural networks (RNNs) inspired by the human memory models in the field of cognitive neuroscience to enhance information processing and transmission between adjacent RNNs' units. The…

Neural and Evolutionary Computing · Computer Science 2018-06-05 Xi Chen , Zhihong Deng , Gehui Shen , Ting Huang

Information access systems such as search engines and generative AI are central to how people seek, evaluate, and interpret information. Yet most systems are designed to optimise retrieval rather than to help users develop better search…

Human-Computer Interaction · Computer Science 2026-01-14 David Elsweiler

We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, interfaces and gluing allow modelling events that extend in time and…

Formal Languages and Automata Theory · Computer Science 2022-11-07 Uli Fahrenberg , Christian Johansen , Georg Struth , Krzysztof Ziemiański

To improve the quality of programs we provide an approach to guidance in the process of program development. At the higher level the various activities and their dependencies to structure the process are identified. At the lower level,…

Software Engineering · Computer Science 2024-11-21 Harrie Passier , Lex Bijlsma , Ruurd Kuiper , Kees Huizing
‹ Prev 1 8 9 10 Next ›