Questions that ask for a mathematical/formal model of an intuitive concept or task
-1
votes
0answers
35 views
Machine Learning Techniques to handle unreliable input
I am finding models/techniques that are specific on handling input that is obtained from another prediction model.
In other words, is to find a model that is doing prediction based on another model's ...
-1
votes
3answers
151 views
Algorithm Suggestion for Scoring System - weighted solution
I'm trying to validate a series of words that are provided by users. I'm trying to come up with a scoring system that will determine the likelihood that the series of words are indeed valid words.
...
0
votes
0answers
84 views
Temporal Logic and Access Control Models
What is the best way to describe the semantics of a new access control model?. I heard the temporal logic is the way to go. Is it true?
9
votes
1answer
202 views
Extensionality of lambda calculus models
I'm translating a book on LISP and naturally it touches some elements of $\lambda$-calculus. So, a notion of extensionality is mentioned there alongside with some models of $\lambda$-calculus, namely: ...
3
votes
2answers
594 views
Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models
This is a question I asked in mathematics SE forum, and I was referred here. So here is the question-
I'm a newbie in both formal mathematics and theoretical computer science, so please bear with me ...
14
votes
1answer
360 views
(How) can you model broadcasts in the pi-calculus?
Can you model reliable broadcasts in the pi-calculus?
If so: How?
If not: Are there any similar process algebras where you can?
What I have tried:
If sender $S$ wants to send a message $y$ to ...
1
vote
2answers
222 views
Any Graph is a Model (! or ?)
I know this could be considered a pointless question. However despite I am quite convinced that any possible model (i.e. UML, SysML, natural language, math, etc.) can be defined by means of a graph I ...
8
votes
3answers
299 views
Reductions of hard problems to physical models
I am looking for examples of hard problems (in NP or harder) from computer science which can be reduced to models of physical processes.
For example, max-2-sat can be reduced to energy minimization ...
18
votes
4answers
435 views
Efficiently computable variants of Kolmogorov complexity
Kolmogorov prefix complexity (i.e. $K(x)$ is the size of minimal self-delimiting program that outputs $x$) has several nice features:
It corresponds to an intuition of giving strings with patters or ...
6
votes
2answers
298 views
PageRank for a Non-Random Searcher
I'm looking to adapt the PageRank algorithm as a centrality measure in a network. This network however, unlike the "random surfer" of the original paper on PageRank, or the random library browser for ...
5
votes
2answers
230 views
Simulation modeling of diseases
Can anyone recommend a good book(s) or journal article(s) on object-oriented program design patterns/principles and simulation modeling of diseases?
I received the above question this morning by ...
-4
votes
3answers
449 views
Time-based mathematics or logic [closed]
The conventional systems of logic can only recognize or perform operations that transform or translate values in space. Ordinary logic treats time poorly through the necessity of translating all ...
12
votes
6answers
457 views
What are practically computable properties of Labelled Transition Systems?
I found labelled transition systems to be a good model for my application, namely there is a paper about modeling use cases using LTSs. The question is, what can be easily proven about LTSs? I would ...
0
votes
1answer
234 views
Help needed on method to use for anomaly detection [closed]
I think people here could guide me in solving a problem related to anomaly detection. The term anomaly here refers to some malware attack.
I could get information about the malware infection from ...
-4
votes
1answer
531 views
Find sentences with similar relative meaning from a list of sentences against an example one
I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...
4
votes
1answer
293 views
Extracting Independent Information About Sequences
Related to this question, but asked in a different way.
For the purposes of a text-based implementation of a fuzzy vault, what metrics can we take on Sequences that are isolated such that the set of ...
2
votes
1answer
396 views
Finding islands of vertices in a network of roads containing one-way streets [closed]
I am working on GIS project where we are making use of road maps that may contain one-way streets.
We are writing some debugging tools one of which I want to design to find "Islands". This would ...
4
votes
3answers
355 views
Semantic distance between excerpts of text.
I'm wondering how far along the natural language processing is in determining the semantic distance between two excerpts of text.
For instance, consider the following phrases
Early this morning I ...
7
votes
1answer
189 views
Is it possible to model maximization in a petri net without using inhibitor arcs?
Creating a petri-net that models the minimum function is quite simple:
...
-2
votes
1answer
784 views
How do I formally describe a rooted, directed, acyclic graph?
I need a formalism to describe the following requirements:
I have a graph comprised of nodes and transitions between nodes
Nodes maybe one of three types, all are sub-classes of a base abstract node ...
5
votes
1answer
141 views
Process modeling with fine-grained notions of location
Is anyone aware of any process algebraic (or related) formalisms that capture fine-grained location information? I'm familiar with ambients and bigraphs, which obviously have a location model, but ...
