We changed our privacy policy. Read more.

Questions tagged [research]

The tag has no usage guidance.

21 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4
votes
0answers
35 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 ...
4
votes
0answers
66 views

"Programing in goals" as an alternative to defining APIs (from B. Victor's talk The Future of Programming )

In his talk The Future of Programming, in the third section of the talk about "programming using goals", Bret Victor says this: https://vimeo.com/71278954 [15:20] What won't work, what would ...
3
votes
0answers
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 ...
3
votes
1answer
639 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’...
1
vote
0answers
24 views

Can smoothed analysis be studied on the batch dynamic model?

I was reading about the batch dynamic CONGEST model for distributed computing. This model assumes a fixed communication network, but where local inputs to nodes may change over time. It aims to study ...
1
vote
0answers
52 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 ...
1
vote
1answer
204 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 ...
1
vote
0answers
20 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 ...
1
vote
0answers
48 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 ...
1
vote
0answers
83 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 ...
1
vote
0answers
30 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 ...
1
vote
0answers
56 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 = ...
1
vote
0answers
249 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). ...
0
votes
0answers
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 ...
0
votes
0answers
50 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 ...
0
votes
0answers
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 ...
0
votes
0answers
41 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 ...
0
votes
0answers
99 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-...
0
votes
0answers
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?
0
votes
0answers
41 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 ...
0
votes
0answers
74 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 ...