2022 Developer Survey is open! Take survey.

Questions tagged [research]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
28 views

What is the standard definition of recursive automata (or state machines)?

I found this paper: https://courses.engr.illinois.edu/cs373/fa2009/recaut.pdf But it looks like recursion is done along an edge. I would have thought you have state machines nested inside nodes. ...
user avatar
1 vote
0 answers
83 views

Bold text detection

I am currently working on a project where I need to detect bold text on a multi font-size image (so no mathematic morphology possible). This detection will be used in parallel of an OCR system (with ...
user avatar
0 votes
0 answers
31 views

Split-Ordered Lists: Lock-Free Extensible Hash Tables

I am reading the research paper "Split-Ordered Lists: Lock-Free Extensible Hash Tables" by Nir Shavit and Ori Shalev. https://dl.acm.org/doi/10.1145/1147954.1147958 I was just wandering if ...
user avatar
0 votes
1 answer
44 views

Are there still researches on new Data Structures? If so, what are some examples / scenarios?

And I assume these new data structures are more context/field-specific?
user avatar
  • 13
5 votes
1 answer
161 views

Is classical algorithms a dead research field?

I'm starting my masters in CS soon, and I have to decide on a general research topic. In my undergraduate studies, I've enjoyed courses regarding data structures and algorithms the most. I'm also an ...
user avatar
2 votes
0 answers
35 views

What would you do if the author of a published CS article does not respond to code requests? [closed]

Since reproducibility is a major principle or basic norm of scientific experiments, simulations, and computations, what would you do or what to do if the author of a published CS article does not ...
user avatar
  • 21
1 vote
0 answers
57 views

Why is most research in logic and verification conducted in Europe rather than the US?

This is the CSRankings output for logic and formal verification for the last 10 years, worldwide: http://csrankings.org/#/index?log&world For the International Conference on Computer Aided ...
user avatar
1 vote
1 answer
18 views

Can I include some manual effort in creating an otherwise automated research prototype tool?

I am a research student in the area of programming language/software engineering. I am claiming to provide an automated technique to solve a research problem in one of my papers. The prototype tool ...
user avatar
4 votes
0 answers
46 views

What are some advanced background topics I'll need for distributed systems and networks research?

I am a new graduate student in Computer Science who would like to be able to read and understand modern and new distributed systems research papers. My current background / courses and understanding ...
user avatar
  • 41
0 votes
0 answers
16 views

Parallel colouring to minimize collisions?

I have a graph in which there is a set of leader vertices $L$. There is no edge between any pair of leader vertices. Each leader vertex $u$ has a common set of colours $C$ and a set of neighbour ...
user avatar
  • 1,016
2 votes
2 answers
500 views

What goes into proving two complicated programs are equivalent?

Say I wanted to prove that two programs were equivalent (either rigorously if possible, or informally if not). More specifically, say I have something relatively complex such as an HTTP server ...
user avatar
  • 1,873
1 vote
0 answers
35 views

Paging operations research people: how is the field evolving? [closed]

I asked this question to the OR community (https://or.stackexchange.com/questions/1498/how-is-the-field-of-operations-research-evolving) but, since there are quite a few CS people working in OR, I ...
user avatar
  • 183
0 votes
0 answers
59 views

How to validate usability of software frameworks

My thesis will produce a software framework that can be used by programmers to solve problems in a paticular domain. One of the case studies I want to do to verify the contribution I'm making is to ...
user avatar
1 vote
1 answer
79 views

Question is about a paper "A Block-sorting Lossless Data Compression Algorithm" by M. Burrows and D.J. Wheeler

In the paper A Block-sorting Lossless Data Compression Algorithm by M. Burrows and D.J. Wheeler Link. On page number 5. please describe this line If the original string $S$ is of the form $Z^p$ for ...
user avatar
1 vote
1 answer
17 views

Help with understanding why we need an expectation in the loss

I am reading the paper SV2P - Stochastic Varaiational Video Prediction (https://arxiv.org/abs/1710.11252). In it the authors use the loss shown in the image: Why do we need expectation in the ...
user avatar
  • 13
2 votes
1 answer
153 views

How is Pure Maths utilized in Computer Science research?

How can People with a background in Mathematics pursue PhD in Computer Science" Although I have a Postgraduate degree in Mathematics with basic programming knowledge,it sounded quite interesting how ...
user avatar
1 vote
1 answer
237 views

What does "Temporal extent" mean?

I am reading Long-term Temporal Convolutions for Action Recognition and under the Section 3.1, I read this: To investigate the impact of long-term temporal convolutions, we here study network inputs ...
user avatar
0 votes
1 answer
87 views

Did Date and Darwen's "Third Manifesto" have a lasting impact?

In 1995, two DB theory researchers, C.J. Date and H. Darwen, published a text with the rather impressive-sounding name "The Third Manifesto" with their ideas regarding future DBMSes, which would ...
user avatar
  • 937
1 vote
0 answers
22 views

Great papers about actor model

I finally started working on my Master's thesis, and have a problem with literature sources. My thesis is about distributed system built on top of custom library implementing actor model. But I can't ...
user avatar
2 votes
1 answer
140 views

What are the recents topics of research that combine both systems research and theoretical computer science?

I am an undergraduate majoring in Computer Science and Mathematics. For my undergraduate research, I would like to work on something that lies in the overlap between systems research and theoretical ...
user avatar
0 votes
1 answer
215 views

Topics from theoretical computer science suitable for a bachelor (undergrate) thesis? [closed]

Is the field of theoretical computer science so complex, that it is just "too much" for a bachelor thesis? Unfortunately I haven't found any old thesises because the relevant chair of the university ...
user avatar
0 votes
0 answers
17 views

Presentation topic for computational solutions to problems involving probability

I'm looking for interesting applications of computing science for finding the probability of otherwise difficult problems. This is for an undergraduate level presentation in a probability course of ...
user avatar
  • 1
0 votes
0 answers
45 views

Gradient Descent in MLPs using Computational Graphs

I'm working through Deep Learning by Goodfellow et al. The textbook introduces backpropagation for MLPs in page 203 (http://www.deeplearningbook.org/contents/mlp.html). However, it does not expand ...
user avatar
  • 101
3 votes
0 answers
1k views

Is Chinese Checkers a solved game

Is there a machine or algorithm available to solve the board game "Chinese checkers"? If there is please let me know about relevant material. I have already searched over internet unfortunately i am ...
user avatar
0 votes
0 answers
102 views

Generating a Covering Array Matrix with Simulated Annealing

I've been reading the following paper to understand how I can develop a non deterministic algorithm for test cases generation https://www.researchgate.net/publication/293043297_A_two-...
user avatar
  • 101
3 votes
1 answer
92 views

What problems are believed to have an efficient algorithm?

Just out of curiosity, What problems are believed to have an efficient algorithm, yet haven't been found such an algorithm for them? This question came up to my mind after reading about PRIMES ...
user avatar
  • 535
0 votes
0 answers
49 views

Quantitatively speaking, what's the most popular area of computer science research?

Like this one, for example, but for computer science. Maybe some survey of that kind was conducted for CS as well?
user avatar
  • 1
1 vote
0 answers
53 views

Algorithm that shifts points in the x-y plane to maximize distance but keep one axis constant

Suppose I am running an experiment with some subjects, and I obtain some numerical data from them. The subjects are divided into 2 experimental groups. Rather than display the means of each group in a ...
user avatar
  • 111
1 vote
0 answers
51 views

What Computer Science projects for undergrads are mostly in demand by European and American firms? [closed]

Computer Science has a broad spectrum of disciplines ranging from AI, Big Data, Cryptography to Human Computer Interaction and Bioinformatics. I would like to know what projects are ideal for ...
user avatar
  • 299
1 vote
1 answer
99 views

I'm looking for a construct that is to semantic-analysis what NFA/DFA are to scanning and DPDA is to parsing

What maps to Semantic Analysis the way automata like Finite State Machines and Pushdown automatons map to Lexing and Parsing? A couple of years ago I came across a paper that presented such a ...
user avatar
  • 111
1 vote
1 answer
9k views

differences between theoretical research and applied research

What would be the differences between these two branches of research? For what I know the theoretical research is the one that will not necessarily end up with an application part, but the applied ...
user avatar
  • 403
1 vote
0 answers
88 views

Importance of Needham–Schroeder Protocol

I'm working on a paper about model checking on cryptographic protocols and many of the papers I have read, base their approaches in the Needham-Schroeder protocol. I undestand this was one of the ...
user avatar
1 vote
0 answers
35 views

Soft Question : Is there any website for weak negative results?

I have noticed that while doing research in computer science you come across many weak but negative results. Now, not every negative result deserves a paper of its own. So I was wondering, is there a ...
user avatar
1 vote
0 answers
75 views

Gradient Direction Equation: Color Value

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . On computing the gradient direction, given the equation: theta = ...
user avatar
  • 87
1 vote
1 answer
322 views

Stroke Width Transform: Gradient Direction Computation

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . Having a simple image with random texts, that underwent gray ...
user avatar
  • 87
3 votes
1 answer
367 views

Stroke Width Transform: Gradient Direction and Rays

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . Having a simple image with random texts, that underwent gray ...
user avatar
  • 87
1 vote
1 answer
75 views

Searching related works for papers [closed]

How do you search related works for your papers? To be concrete I have implemented few techniques of indirect call promotion for pure C and want to share my results. But at first I want to understand ...
user avatar
0 votes
0 answers
43 views

Is there any recent research on $(2+p)$-SAT?

I've read a few papers (searched by Google Scholar) about $(2+p)$-SAT, but they're all quite old (2001 and earlier). Do newer publications exist? I'm looking for solvers, theorems and so on. I want to ...
user avatar
2 votes
1 answer
173 views

Classification of technologies used for communication in distributed systems

I am currently writing a State of Art about technologies used for distributed communication (like CORBA for example). I want to structure the document in way that I don't leave any subset of this ...
user avatar
4 votes
4 answers
811 views

Where can I read CS papers? [closed]

I am a self taught programmer, with no formal degree in CS. I have read couple of papers which were recommended on some or other blog and found them interesting. Where can I read papers on computer ...
user avatar
  • 157
0 votes
1 answer
78 views

Is it possible to get information from websites as a human? [closed]

If I want to read any websites and get some information as names (or dates) on some part of the site as a human. What solution I could use in order to get these datas using deep learning or machine ...
user avatar
  • 3
3 votes
1 answer
648 views

HandyAR finger tip detection and tracking

I am reading this paper Handy AR. As suggested I am adding certain quotes from paper to get basic idea of what is it about : Intro In this paper, we present and evaluate a method to use a user’...
user avatar
0 votes
0 answers
75 views

Keywords for the science articles search (parallel computing)

Often, similar ideas or works have vastly different namings or covers. This is a hassle for searching in distant fields, especially in a non-native language. Idea. We mathematically model (Petri ...
user avatar
  • 170
-1 votes
1 answer
71 views

Is it okay to select the best performers of test cases for scientific publication in neural network machine learning [closed]

If I split my data properly into 75% train, 15% test, and 15% validation, and there are over 100,000 samples, is it appropriate for me to train 100s of neural networks then select only a couple based ...
user avatar
2 votes
0 answers
46 views

Are there any research papers rethinking browser architecture? [closed]

I am interested in any research that reviews the state of affairs when it comes to browsers today, be it their concurrency models, their performance, or anything relevant to such topics. Specifically, ...
user avatar
  • 121
0 votes
1 answer
140 views

How does a language abstract away from underlying byte machines?

So as the title suggests, How does a programing language, such as Java or C, abstract itself away from underlying byte machines? Im curious, because I know that static/dynamic typing, data ...
user avatar
64 votes
14 answers
17k views

How can I explain to my parents that I study programming languages?

I am currently finishing my MSc in computer science. I am interested in programming languages, especially in type systems. I got interested in research in this field and next semester I will start a ...
user avatar
  • 751
1 vote
0 answers
257 views

Knowledge Vault - Please explain the local closed world assumption

Background I'm currently reading a paper on the google knowledge vault here : http://www.cs.cmu.edu/~nlao/publication/2014.kdd.pdf. I'm having trouble with the Local Closed World Assumption (LCWA). ...
user avatar
-1 votes
1 answer
518 views

Are there any papers published proving how University Time Table Scheduling Problem is NP-Complete?

I have been researching on finding optimal solutions to generating University Time Table using Genetic Algorithm. I am searching for a Academic Paper, that properly defines the University Time Table ...
user avatar
1 vote
1 answer
919 views

The 50 value problems in TAoCP [closed]

This is just a question for fun and specifically for those who have read the reference pervasively. I have been reading the work of Knuth's The Art of Computer Programming and struggling and having a ...
user avatar