Preguntas etiquetadas con terminology

Lucho con pocas definiciones en la representación del conocimiento y busco ayuda creíble para distinguirlas. He estado buscando en Wikipedia y en muchos sitios web la diferencia entre ontologías y redes semánticas (que no debe confundirse con la web semántica). Si bien la página de Wikipedia en la red semántica …

9 terminology  knowledge-representation  ontologies 

Estoy confundido acerca de cómo se definen PP y BPP . Supongamos que es la función característica de un lenguaje . M ser la máquina probabilística de Turing. ¿Son correctas las siguientes definiciones:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( x …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

He leído muchos documentos sobre convolución en el procesamiento de imágenes, y la mayoría de ellos dicen acerca de su fórmula, algunos parámetros adicionales. Nadie explica la intuición y el significado real detrás de hacer convolución en una imagen. Por ejemplo, la intuición de derivación en el gráfico es hacerlo …

9 terminology  intuition  graphics  computer-vision 

Estoy estudiando Bootstrapping de Red Dragon Book Compilers y encontré que el diagrama T para el compilador cruzado es bastante confuso. No puedo entender lo que significa "Ejecutar compilador1 a través de compilador2". ¿Alguien puede proporcionar una mejor explicación, analogía o un ejemplo para relacionarse con algún compilador del mundo …

9 compilers  terminology 

StackOverflow me señaló aquí, por lo que la pregunta podría ser un poco simple. Wikipedia define funciones puras como En la programación de computadoras, una función puede describirse como una función pura si ambas afirmaciones sobre la función tienen: La función siempre evalúa el mismo valor de resultado dados los …

9 terminology  functional-programming  semantics 

Aparentemente, un byte se ha establecido en 8 bits (¿es correcto?). Normalmente se puede acceder a RAM y NOR-flash en un nivel bastante granular, pero depende de la arquitectura del sistema determinar si la unidad direccionable más pequeña es 8 bits, 16 bits o cualquier otra potencia de dos bits. …

9 terminology  computer-architecture  memory-management  memory-access 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties 

En el problema de la suma de subconjuntos, ¿pueden ser iguales algunos de los números dados ? Por ejemplo, podríamos tener y el objetivo es ? ¿Puedo suponer que tengo una solución específica con los números y y y no?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222

9 complexity-theory  terminology 

Supongamos que quiero optimizar una función unimodal definida en algún intervalo real. Puedo usar el conocido algoritmo descrito en Wikipedia bajo el nombre de búsqueda ternaria . En el caso del algoritmo que reduce a la mitad los intervalos repetidamente, es común reservar el término búsqueda binaria para problemas discretos …

8 algorithms  terminology  numerical-analysis  numerical-algorithms 

Al calcular la dependencia del tiempo de ejecución de la entrada, ¿qué cálculos se consideran? Por ejemplo, creo que aprendí que la indexación de matrices y las declaraciones de asignación no se cuentan, ¿por qué es eso?

8 terminology  algorithm-analysis  runtime-analysis 

Estoy tratando de entender (intuitivamente) los dos términos "capacidad de decisión" y "capacidad de verificación". He realizado una cantidad razonable de búsqueda y revisión de los diversos textos que puedo tener en mis manos. Sin embargo, su comprensión intuitiva parece escapar de mí, especialmente para el segundo. De las muchas …

8 complexity-theory  formal-languages  terminology  computability 

El problema de 3 colores puede probarse NP-Complete haciendo uso de la reducción de 3SAT Graph Coloring (de 3SAT) . Como consecuencia, el problema de 4 colores es NP-Completo usando la reducción de 3 colores: Reducción de la instancia de 3 colores: agregando un vértice adicional al gráfico del problema …

8 complexity-theory  graph-theory  terminology  np-complete 

Sé el orden de los términos de un árbol B. Recientemente escuché un nuevo término: árbol B con un grado mínimo de 2. Sabemos que el grado está relacionado con un nodo, pero ¿cuál es el grado de un árbol? ¿El grado impone algún tipo de restricción en la altura …

8 terminology  data-structures  search-trees  dictionaries 

A partir de, las pruebas por el método probabilístico a menudo se dice que no son constructivas. Sin embargo, una prueba por método probabilístico de hecho diseña un algoritmo aleatorio y lo usa para probar la existencia. Citado de p103 de Algoritmos aleatorizados por Rajeev Motwani, Prabhakar Raghavan : Podríamos …

8 algorithms  terminology  randomized-algorithms 

¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados ​​como ficticios y no pasados ​​como ficticios? Encontré esta definición , que no estoy seguro de entender, …

8 terminology  programming-languages  functional-programming