English
Related papers

Related papers: Spreadsheet computing with Finite Domain Constrain…

200 papers

Spreadsheets are widely used, and studies have shown that most end-user spreadsheets contain nontrivial errors. To improve end-users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In…

Human-Computer Interaction · Computer Science 2011-12-20 Laura Beckwith , Jácome Cunha , João Paulo Fernandes , João Saraiva

Amongst the large number of write-and-throw-away spreadsheets developed for one-time use there is a rather neglected proportion of spreadsheets that are huge, periodically used, and submitted to regular update-cycles like any conventionally…

Human-Computer Interaction · Computer Science 2008-05-14 Markus Clermont , Christian Hanin , Roland T. Mittermeir

Selecting a subset of cells is a common task in data engineering, for example, to remove errors or select only specific parts of a table. Multiple approaches to express this selection exist. One option is numeric indexing, commonly found in…

Programming Languages · Computer Science 2025-05-30 Philip Heltweg , Dirk Riehle , Georg-Daniel Schwarz

This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the parameters) can solve CSP's on both finite and infinite domains.…

Programming Languages · Computer Science 2007-05-23 Antonio J. Fernandez , Patricia M. Hill

We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP. We show how constraints on finite domains can be…

Logic in Computer Science · Computer Science 2010-07-26 Christian Drescher , Toby Walsh

With the advancement of computational network science, its research scope has significantly expanded beyond static graphs to encompass more complex structures. The introduction of streaming, temporal, multilayer, and hypernetwork approaches…

Social and Information Networks · Computer Science 2024-05-29 Michał Czuba , Mateusz Nurek , Damian Serwata , Yu-Xuan Qiu , Mingshan Jia , Katarzyna Musial , Radosław Michalski , Piotr Bródka

We consider the challenge of creating guidelines to evaluate the quality of a spreadsheet model. We suggest four principles. First, state the domain-the spreadsheets to which the guidelines apply. Second, distinguish between the process by…

Software Engineering · Computer Science 2011-11-30 Thomas A. Grossman , Vijay Mehrotra , Johncharles Sander

The rise of the Internet of Things and edge computing has shifted computing resources closer to end-users, benefiting numerous delay-sensitive, computation-intensive applications. To speed up computation, distributed computing is a…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-10 Ke Ma , Junfei Xie

The humble spreadsheet is the most widely used data storage, manipulation and modelling tool. Its ubiquity over the past 30 years has seen its successful application in every area of life. Surprisingly the spreadsheet has remained…

Computers and Society · Computer Science 2018-02-01 David Birch , David Lyford-Smith , Yike Guo

Microsoft Excel is the most ubiquitous analytical tool ever built. Companies around the world leverage it for its power, flexibility and ease of use. However, spreadsheets are manually intensive and prone to error, making it difficult for…

Software Engineering · Computer Science 2018-02-07 Steve Litt

We have prototyped a "spreadsheet component repository" Web site, from which users can copy "components" into their own Excel or Google spreadsheets. Components are collections of cells containing formulae: in real life, they would do…

Software Engineering · Computer Science 2008-09-23 Jocelyn Paine

Many difficult computational problems involve the simultaneous satisfaction of multiple constraints which are individually easy to satisfy. Such problems occur in diffractive imaging, protein folding, constrained optimization (e.g., spin…

Computational Physics · Physics 2008-10-01 Simon Gravel , Veit Elser

Over the last decades, the amount of data of all kinds available electronically has increased dramatically. Data are accessible through a range of interfaces including Web browsers, database query languages, application-specific interfaces,…

Software Engineering · Computer Science 2013-10-01 Gianluca Colombo , Ettore Colombo , Andrea Bonomi , Alessandro Mosca , Simone Bassis

This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data modules. Logical areas, semantic classes and data modules are abstract representations of spreadsheet programs that are meant to…

Human-Computer Interaction · Computer Science 2008-02-28 Markus Clermont

Most spreadsheet surveys both for reporting use and error focus on the practical application of the spreadsheet in a particular industry. Typically these studies will illustrate that a particular percentage of spreadsheets are used for…

Human-Computer Interaction · Computer Science 2008-03-10 Simon Thorne , David Ball

We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, whilst maintaining the full flexibility of spreadsheets for…

Software Engineering · Computer Science 2008-03-13 Yusuf Jafry , Fredrika Sidoroff , Roger Chi

Spreadsheet tools are widely accessible to and commonly used by K-12 students and teachers. They have an important role in data collection and organization. Beyond data organization, spreadsheets also make data visible and easy to interact…

Other Statistics · Statistics 2025-06-05 Oren Tirschwell , Nicholas Jon Horton

Spreadsheet software is the tool of choice for interactive ad-hoc data management, with adoption by billions of users. However, spreadsheets are not scalable, unlike database systems. On the other hand, database systems, while highly…

Databases · Computer Science 2017-10-09 Mangesh Bendre , Vipul Venkataraman , Xinyan Zhou , Kevin Chang , Aditya Parameswaran

Most organizations today use spreadsheets in some form or another to support critical business processes. However the financial resources, and developmental rigor dedicated to them are often minor in comparison to other enterprise…

Computers and Society · Computer Science 2024-12-31 Brandon Weber

Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations rest might not be the least issue. The paper addresses this…

Human-Computer Interaction · Computer Science 2024-12-31 Karin Hodnigg , Markus Clermont , Roland T. Mittermeir