Questions tagged [research]

The tag has no usage guidance.

23 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4
votes
0answers
33 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
61 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
872 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
634 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
48 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
135 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
17 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
46 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
77 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
29 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
42 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
229 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
18 views

How to create a database of meta-model transformations with real data?

I am currently working on meta-model transformation and the coevolution of models. I have already done some kind of a state of the art, and the next step in my research would be to collect some (...
0
votes
0answers
13 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
14 views

Good citation/source for size of the internet

I am writing an introduction for a paper and want to cite something for a sentence such as "over the past thirty years, the internet has grown from hundreds of nodes to blah blah blah" (basically ...
0
votes
0answers
16 views

Research papers related the Android OS's Adaptive Battery and Screen Brightness

I want to read the details of the Adaptive Battery Optimization and Adaptive Brightness techniques used in the Android operating systems as mentioned in this wired.co.uk article. I tried looking for ...
0
votes
0answers
39 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
37 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
89 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
40 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
66 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 ...