Domande con tag 'computer-science'

domande con tag
1
risposta

Indicatori chiave / determinanti che un algoritmo ha una complessità temporale fattoriale o esponenziale?

Sembra esserci una quantità significativa di informazioni approfondite sulle complessità temporali minori: lineare, polinomiale, logaritmico; Ma non c'è una buona fonte di informazioni approfondite su come determinare facilmente se un algoritmo...
posta 19.05.2017 - 18:48
1
risposta

Come gestire gli esperimenti di codice destinati a rimanere permanentemente con git?

Ho un codice asm / C che implementa alcuni filtri immagine. L'obiettivo di questo progetto è la sperimentazione di diverse implementazioni, analisi comparativa, tracciamento e reporting dei dati per scrivere un articolo con approfondimenti rilev...
posta 02.10.2016 - 00:31
1
risposta

Possiamo ancora considerare che la legge di Moore è ancora valida per quanto riguarda le conseguenze sulla velocità della CPU? [chiuso]

La legge di Moore è una legge empirica e in termini semplici afferma che il numero di transistor su circuiti integrati raddoppia approssimativamente ogni due anni. Una delle conseguenze della legge di Moore è che le prestazioni della CPU radd...
posta 29.04.2014 - 14:19
3
risposte

Categorizzazione delle colonne in una tabella di database

Volevo sapere come la gente pensa genericamente, in una tabella di basi di dati: Colonne che si prevede che le persone utilizzino principalmente per il raggruppamento prevedibile di groupability . Colonne che ci si aspetta che le pe...
posta 23.11.2016 - 11:31
1
risposta

Relazione e differenza tra le lingue enumerabili ricorsivamente e le lingue complete di Turing?

Da link a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable, Turing-acceptable or Turing-recognizable) if it is a recursively enumerable subset in the set of all possible words o...
posta 30.09.2016 - 04:15
1
risposta

Quale tecnica di visione artificiale / elaborazione dell'immagine risolverebbe lo squilibrio luminoso nelle immagini?

Dato un'immagine a colori la cui intensità luminosa è debole ai bordi e luminosa nel mezzo, come [dim bright dim] , quale tecnica di visione del computer sarebbe consigliata per correggere questo squilibrio? Anche se credo che Histogram Equ...
posta 30.04.2014 - 18:43
1
risposta

Definizione formale di "concetti / tipo di sistema" per tipi parametrici - Da dove cominciare?

Sarei interessato a definire formalmente (e di conseguenza a dimostrare) un "sistema di tipi" per, beh, un sistema di tipi. Più specificamente, vorrei esplorare l'idea di ciò che C ++ chiama concetti per la mia tesi di laurea. Come si dovrebb...
posta 01.06.2013 - 03:02
1
risposta

Sezione Background & Research Methods (Scrivere un articolo)

È la prima volta che scrivo un articolo su un progetto software. Dovrei usare formato carta UbiComp ACM . Ho già una struttura che dovrei seguire e c'è un Background & Sezione Metodi di ricerca dopo le sezioni Abstract, Introduzione, La...
posta 03.12.2010 - 18:38
1
risposta

Qual è la differenza tra E-Science Infrastructure e Distributed Computing Infrastructures

Qual è la differenza tra le infrastrutture eScience e il grid computing o le infrastrutture di calcolo distribuito? E quali sono alcuni dei loro esempi. Non riesco a distinguerli chiaramente. È così che viene utilizzata una griglia che la ren...
posta 13.10.2012 - 15:11
2
risposte

Aiuto sulla chiarificazione di una dichiarazione formale relativa agli algoritmi in esecuzione

Sto leggendo quanto segue in un libro sugli algoritmi (i Cormen devono essere specifici): That is, we are concerned with how the running time of an algorithm increases with the size of the input in the limit, as the size of the input in...
posta 24.10.2011 - 17:55