Paquetes [**DEB]
|
**aaa-20060511 -
**Annotated Uno.*L.Yo.*C.**E. **AIML
El **Annotated Uno.*L.Yo.*C.**E. **AIML (**AAA) **fileset Es un **revised liberación de la liberar Uno.*L.Yo.*C.**E. Cerebro.
Puedes leer más en *el *AAA página. El **archives listó aquí es automáticamente generado cuando sea que el **AAA el conjunto es actualizado. Los archivos son automáticamente procesó usar un guión que intenta para corregir errores sabidos en el conjunto, y a correctamente *cessionari **namespace **URIs y prefijos por tal de trabajo correctamente con Programa *D (y cualquiera otro moderno, **namespace-intérprete consciente). |
|
Paquetes [**DEB]
|
**argus-3.4 -
Sistema y control de red
**Argus Era al principio diseñado para controlar **servers y conexiones de red en una misión-crítico **ISP (Proveedor de Servicio de la Internet) en torno, y balanza bien de pequeño-negocios a través de empresas grandes.
|
|
Paquetes [**DEB]
|
**awb-4.40 -
lengua natural **tagged **corpora entorno de desarrollo
El **Alembic proyecto de Azulejo tiene como su objetivo la creación de un entorno de ingeniería de lengua natural por el desarrollo de *tagged * **corpora.
para realzar este proceso, el azulejo incorpora una *suite de herramientas por el análisis de un **corpus, junto con el **Alembic sistema para habilitar la adquisición automática de ámbito-específico **tagging *heurística. El **Alembic foco de Azulejo en *dram ticament reduciendo la cantidad de trabajo coge para construir formación nueva **corpora. |
|
|
Paquetes [**DEB]
|
ningún-0.1 -
director de ingeniería del Software por administración de proyecto
La Cabeza coordina el desarrollo de software de nuestro interno **codebases, las aplicaciones que estamos escribiendo a cualquier eficazmente cuela junta externo **codebases como en la mayoría de casos o tan mayoritariamente independiente proyectos (cómo *Gourmet).
NINGUNA *conversas con Arquitecto para coordinar desarrollo de *icodebases *con respecto a en general objetivos, y RADAR y *Machiavelli *para proporcionar un simulador de desarrollo del proyecto por uso al razonar sobre otros proyectos, y en general, para contestar cuestiones de desarrollo del software. La Cabeza también *automatitza muchos de los aspectos de escribir **codebases. |
|
Paquetes [**DEB]
|
**busroute-0.1 -
*Planificador de autobús de línea de orden
*Planificador de ruta de autobús eficaz módulo que *interfícies con *el *Verber *planificador.
Proporciona apoyo por dos clases básicas de acciones, *abordatge, quedando encima, y saliendo un autobús, y andando entre ubicaciones (actualmente único actividades de autobús van *implementar.) |
|
Paquetes [**DEB]
|
**busroute-0.4 -
*Planificador de autobús de línea de orden
*Planificador de autobús eficaz puede generar planes de costumbre o imprimir informes más generales.
|
|
|
*c4.5-8 -
inducir reglas de clasificación (árboles de decisión) de ejemplos
* *C4.5 es una extensión de software del básico **ID3 *algoritme diseñado por **Quinlan para dirigir el siguiendo emite no tratado por **ID3:
* Evitando **overfitting el dato *o Determinando que profundamente para crecer un árbol de decisión.
* Poda de error reducido. * Correo de regla-poda. * Manejando atributos continuos. *o *e. **g., La Temperatura que * Escoge una medida de selección de atributo apropiada. * Manejando dato de formación con perder valores de atributo. * Manejando atributos con diferir costes. * Mejorando eficacia *computacional. |
|
Paquetes [**DEB]
|
**ccp-1.51 -
Convierte copia. Canaliza existir herramientas de *convertidor.
Convierte copia.
Canaliza existir herramientas de *convertidor juntas de convertir archivos de un formato a otro. **E.*g. Sumar los *convertidors '**pdf -> texto' y 'texto -> **wav' y puedes convertir **pdf a *wav. * Automáticamente instala perder *convertidors en **Debian. |
|
Paquetes [**DEB]
|
**ccp-1.6.3 -
Convierte copia. Canaliza existir herramientas de *convertidor.
Convierte copia.
Canaliza existir herramientas de *convertidor juntas de convertir archivos de un formato a otro. **E.*g. Sumar los *convertidors '**pdf -> texto' y 'texto -> **wav' y puedes convertir **pdf a *wav. * Automáticamente instala perder *convertidors en **Debian. |
|
Paquetes [**DEB]
|
**celt-2.65 -
Controlado inglés a Lógica (**CELT)
**CELT es pronunciado con un llevar '*c', gusta '**kelt'.
**CELT Es una *gram tica inglesa controlada que genera expresiones de lógica en **KIF usando el Sugerido *Ontologia Fusionada Superior. Su *gram tica asegura que cada frase tiene un solo **parse, diferente completo inglés donde una frase de moderar la longitud puede tener centenares de *parses. *
**CELT Es Basado en la lengua de AS, pero no *reutilització cualquier de su código.
El As es una lengua inglesa controlada desarrollada por software y especificación de hardware principalmente. La lengua de AS asegura que cada frase tiene un solo **parse, diferente completo inglés donde una frase de moderar la longitud puede tener centenares de *parses. * Nuestra búsqueda en **CELT era al principio inspirado por el controlado inglés de AS. El AS fue diseñado para proporcionar una lengua de especificación formal por hardware y sistemas de software en un *subconjunt expresivo y fácilmente *llegible de inglés. **CELT, por contraste, es pretendido para dar apoyo ingeniería de conocimiento y conocimiento-sistemas de diálogo basado. Como tal, *implementa una porción de la lengua de AS y suma extensiones para dar apoyo lengua natural *Q y Uno y lengua natural **tutoring
sistemas.
**CELT es pretendido para aplicar como herramienta de ingeniería del conocimiento y como parte de llave de un sistema de comprensión de lengua natural por inteligente **tutoring sistemas.
El **CELT el sistema traduce frases en *el *CELT lengua a SUMO *código. Lo *SUMO el código proporciona un primer-representación de lógica de la orden de la frase.
Pretendimos usar Vampiro como *teorema **prover para permitir contestando **CELT cuestiones.
Sí/NINGUNA cuestión sería contestada para probar para probar que una fórmula es una *teorema (*y.**e., Que algo es de hecho el caso). **WH-Las Cuestiones serían contestadas por variables libres obligatorias en *lo SUMO traducción y *plugging *estos reculan a una respuesta **template generó por **CELT a la vez la cuestión es **parsed. El sistema final usos repartidos un **Prolog procesador de consulta que actúa razonamiento de herencia sencilla y puede razonar sobre *particions en la *ontologia. Este amable o el razonamiento era suficiente y muy rápido por la mayoría del *Q y Uno usábamos, mientras permitiendo ámbito-extensiones específicas para ser sumado fácilmente. |
|
|
Paquetes [**DEB]
|
claro-0.3 -
Arquitectura de Aprendizaje del ordenador
Inteligente **Tutoring Sistema por aprendizaje de distancia.
Mantiene leer listas por áreas de contenido, automáticamente determina leer dependencias de lista. Usa **TTS para leer documentos. Graba la atención de usuario durante lectura. Genera pruebas de documentos por **placement o valoración. Finalmente, espera integrar **webcam ojo basado-**tracking sistema, de forma que récords del que ha sido leído |
|
Paquetes [**DEB]
|
**cmanager-20040825 -
**Cmanager es un sistema de administración de tiempo sencillo por **Aspergers
Trabaja por automáticamente cogiendo control sobre el ordenador y recordando el usuario para hacer cosas de lo contrario han olvidado, como comer, sueño e ir al baño.
*Oh, y juzgando por el **fruitflies, sacar el **trash! |
|
|
|
Paquetes [**DEB]
|
**conceptnet-2.1 -
**commonsense **knowledgebase y natural-lengua-procesando a
Lo **ConceptNet **knowledgebase es una red semántica **presently disponible en dos versiones: *concís (200,000 *assercions) y pleno (1.6 millones de *assercions).
**Commonsense conocimiento en **ConceptNet **encompasses el espacial, físico, social, *temporal, y aspectos psicológicos de vida diaria. Mientras que similar gran-escalera semántica **knowledgebases como **Cyc y *WordNet *es con cuenta **handcrafted, **ConceptNet es generado automáticamente de las 700,000 frases de la Mente Abierta Proyecto de Sentido Común \*uno2013 una Web Ancha Mundial colaboración basada con sobre 14,000 autores. |
|
Paquetes [**DEB]
|
**conceptool-0.9 -
Entorno de Administración de Conocimiento inteligente
Modelo, analiza, **verify, valida, participación, combina, y bases de conocimiento de ámbito de *reutilització y *ontologies, razonando sobre sus implicaciones
El **ConcepTool objetivos de proyecto a edificio, modificando, y combinando bases de conocimiento del ámbito y *ontologies de aplicación.
*
**ConcepTool usa clases diferentes de razonar servicios al nivel conceptual para actuar un análisis detallado de una base de conocimiento.
El Análisis comprueba la *consistència de este conocimiento y destaca sus implicaciones, *y.**e. Las Relaciones más lejanas entre conceptos derivaron por sus estructuras respectivas y por sus *constrenyiments mutuos. Los servicios de razonamiento usados por el análisis proporciona las deducciones basaron en Lógicas de Descripción, las *inferències lingüísticas basaron en *ontologies léxicas, o las *inferències *heurístiques basaron en reglas estructurales. *
**ConcepTool Puede modelo la parte *est tica de *UML *clases, **OKBC marcos de clase, **DL clases, **UML asociaciones, **ER relaciones, y *DFD *o *IDEF *procesa usar un marco-representación de conocimiento basado.
Cada cual de estos conceptos puede incluir propio y *template * **slots con facetas (**e.*g. Atributos), **partonomic y *taxonomic *relaciones, y *constrenyiments globales (**e.*g. **disjointness O cobertura). *
**ConcepTool Da apoyo la combinación virtual de bases de conocimiento de ámbito diferentes y *ontologies de aplicación, creando una vista compartida de sus componentes comunes articulación llamada.
Potencialmente relacionado los conceptos son propuestos usando los servicios de razonamiento disponibles y los *mapatges detallados son automáticamente introducidos para relacionar fuente **conceptsto sus imágenes en la articulación. |
|
Paquetes [**DEB]
|
crítico-0.1 -
Contemplando Relaciones *Interactivament para Mejorar Conexiones
El sistema de crítico es un marco para revisar entradas por conveniencia a un objetivo dado o tarea.
Lo permite el usuario a *categorize *y valorar las entradas. A cada punto el sistema determina en la base de *ratings *y *categorization *si el usuario tendría que revisar elementos ya han visto, índice **cached elementos han no, y si para recuperar más entradas en categorías específicas. Esto puede ser **interfaced a administración de capacidades y radar, **recipe *recensió, **perl *recensió de módulo, fuentes.*Recensió de entrada de la lista, etcétera. |
|
|
**dbmail-2.1.6 -
Paquete: **dbmail
Versión: 2.1.5+20060504 Sección: Prioridad de correo: Arquitectura opcional: *y386 *Depen: **debconf (>= 0.5) | **debconf-2.0, **debconf (>= 1.4.70) | **debconf-2.0, **ucf (>= 0.30) Sugiere: **stunnel | **stunnel4, **postfix | corred-transporte-agente, **dbmail-**mysql (= 2.1.5+20060504) | **dbmail-**pgsql (= 2.1.5+20060504) | **dbmail-**sqlite (= 2.1.5+20060504), **dbmail-**ldap (= 2.1.5+20060504), **dbmail-**sieve (= 2.1.5+20060504) Proporciona: **imap-**server, pop3-**server Instalado-Medida: 740 **Maintainer: *Paul *J **Stevens Descripción: paquete de base por el **dbmail solución de correo electrónico **DBMAIL es una colección de programas que permite correo electrónico para ser almacenado en y recuperado de un **sql base de datos.
Lo da apoyo **MySQL,**PostgreSQL,y *Sqlite *como base de datos **backends, **LDAP y *Sieve. *
Protocolos de cliente dado apoyo son: POP3, **IMAP4, **LMTP.
Necesitas instalar uno o más del dando apoyo módulos.
|
|
Paquetes [**DEB]
|
**deme-0.5.0 -
Web-basada democrática **groupware software
**Deme es una herramienta de Web a anfitrión las reuniones *asíncrones que incluyen discusiones, comentarios de documento y colaboraciones, **straw encuesta, y decisión- haciendo por pequeño a grupos de medio de personas.
también proporciona presenta útil por grupos incluyendo archivo **storage, listas de miembro, y lo gusta. Es pretendido para crear un entorno para permitir participación y ayuda **strengthen organizaciones críticas a sociedad civil. |
|
Paquetes [**DEB]
|
**docco-0.3 -
Administración de documento personal que usa Análisis de Concepto Formal
La herramienta es capaz a índice los paseos duros locales y todo montaron al sistema de archivo local, como Ventanas o red de Une paseos.
*escanneja por un número de formatos de documento diferente y crea una base de datos que contiene qué palabras son contenidas en el cual documenta. Esto permite muy rápido **lookup de *keywords *y otra información como autores, título o ubicación. El **keywords usó es generado de los cuerpos de los documentos, tal que ningún manual **annotation es requerido.
**Docco dar apoyo el **follwing formatos:
* texto sencillo * *HTML * **XML * **OpenOffice/ **StarOffice 6.0 Palabra * de documentos (con **POI **plugin) * **Excel (con **POI **plugin) * **PDF (con **PDFbox o *Multivalent * **plugin) * páginas de hombre del UNIX (con **Multivalent **plugin)
Una vez que un índice es creado, el *interfície de consulta permite pedir cualesquier documentos que contienen seguro **keywords y espectáculos como estos combinan.
Una vez que un conjunto de documentos interesantes es encontrado, pueden ser **selected y será mostrado como vista de árbol, del cual pueden ser abiertos en *el *default aplicación. |
|
Paquetes [**DEB]
|
**e2recupera-1.0 -
Herramientas para ayudar recuperan archivos eliminados de *ext2 *sistemas de archivo
Herramientas para asistir al recuperar archivos eliminados de *ext2 *sistemas de archivo.
Incluye **fsgrab (qué sencillamente copia dato de una posición especificada en un archivo o dispositivo) y *e2recupera, *un **Perl guión que llama ambos **fsgrab y *debugfs *(del **e2**fsprogs) por *automatitzar recuperación de archivo.
**fsgrab era al principio parte del mismo autor **fsgrab paquete, el cual es ya no mantuvo.
Ve también el Linux **Ext2**fs-**Undeletion **mini-**HOWTO que puede ser encontrado en o en cualquier espejo de Proyecto de Documentación de Linux.
|
|
|
|
Paquetes [**DEB]
|
**freetts-1.2 -
**Java *Sintetitzador de discurso
**FreeTTS Es un sistema de síntesis del discurso escrito *enterament en *el *Java lengua de programación.
Es basado a *Flite. * Qué a cambio es basado a Universidad del Discurso de Festival de *Edimburg Síntesis **Sytem y *Carnegie * **Mellon Universitario **FestVox proyecto. |
|
Paquetes [**DEB]
|
**gipo-3.14 -
*Interfície gráfico para Planear con Objetos
**GIPO (*Interfície gráfico para Planear con Objetos) es un experimental **GUI y entorno de herramientas para construir modelos de ámbito de la planificación.
Versiones yo e *II fue escrito por **Ron **Simpson, **Weihong **Zhao y *Donghong * **Liu que proporcionó los motores de planificación. **GIPO fue desarrollado al **Univ de *Huddersfield *como una salida del **PLANFORM. Proyecto del **Univ de *Huddersfield, * **UK, con socios al **Univ de *Salford *y *Univ *de *Durham. *
El **PLANFORM el proyecto es ahora completo pero **GIPO continúa ser desarrollado por **Ron **Simpson a la Universidad de *Huddersfield. *
El proyecto tiene ninguna financiación externa *consegüentment el desarrollo continúa en un cuando tiempo **permits base.
Junio 2005 **GIPO-*III (**GIPO versión 3) ganó el **IKEPS competencia en la clase de Herramientas de Ingeniería de Conocimiento generales por *AY Planificación.
|
|
|
*Ullada-4.12.5-3 -
*Indexació de *ullada y sistema de consulta
La *Ullada es una *indexació muy potente y sistema de consulta que te permite para buscar a través de todos vuestros archivos mucho prisa.
puede ser usado por individuos por sus sistemas de archivo personales así como por organizaciones por colecciones de dato grande.
(Convertido de un *rpm paquete por extranjero.)
|
|
Paquetes [**DEB]
|
**gnutran-0.5.0 -
* **Emacs *interfície a traducción de máquina
**GNUtran Es un frente-final que el fa conveniente por **emacs (y *xemacs) *usuarios para tener *bits de textos en su laborable **buffers y mensajes de correo electrónico tradujeron por la mucha traducción de máquina lugares de motor actualmente disponibles en la red (**e.*g. A pesar de que **GNUtran es en gran parte basado en *el W3 paquete (un grande **emacs paquete para tener.
|
|
Paquetes [**DEB]
|
**goooooogle-0.1.0 -
*Google Espectador de Posición de la página
Lo **Goooooogle Calculadora de Posición de la Página es un frente-final por no-internet **explorer usuarios que no pueden tener el **google **toolbar instalado para ver la Posición de Página de páginas web.
|
|
Paquetes [**DEB]
|
*gourmet-20040912 -
*planificador de comida más Fácil: come sano, pase él encima!
Cuando escribí este programa, mi papá dijo, "no tengo la disciplina para usar lo".
Lo que un idiota! Este programa es la manera más fácil de comer, periodo. hace todo el trabajo por tú. |
|
Paquetes [**DEB]
|
**iim-20050107 -
Administración de Información integrada (**IIM)
Una búsqueda de tres años proyecto en el Instituto de Tecnologías de la Lengua a *CMU. *
El objetivo general de *IIM *es para adelantar el moderno en arquitecturas de software por información **retrieval tareas, *enfocant en un componente-basado, documento-**centric diseño que da apoyo sintonía y configuración rápida de soluciones nuevas basaron al existir módulos. El **IIM sistema de *prototipus (escrito en **Java) pronto será libremente disponible para descargar, junto con varios ejemplos de nodos y cadena de nodo archivos. |
|
|
|
Paquetes [**DEB]
|
*sale-3.2 -
yo-*X *Plafó de Proceso **Workflow Herramienta
USO Cuando un *plafó es invocado con esta estrategia.
Una ventana aparece en el cual el usuario es incitado para suministrar varios **login dato: por tal de *Jabber. * El usuario tendrá que **log encima a un **Jabber **server. O más la creación (si esto es **permitted) de una cuenta nueva en algún **server. Los parámetros siguientes son pertinentes a esta estrategia. Puede ser declarado en uno .*Apuntala archivo o a la línea de orden (mostrado aquí con su **default **settings): **jabber-**username=[nombre del usuario en esta máquina] (la *identificador usó a *log *a un **jabber cuenta) **jabber-contraseña=[ninguna **default] (la contraseña por aquella cuenta) **jabber-**server="**jabber.**org" (Lo **jabber **server por el cual la cuenta es aguantado) **jabber-recurso="yo-*X" (la *identificador de este recurso de *plafó en *el *server) **jabber-puerto=5222 (el
número de puerto para ser usado por comunicación con *el *server) **jabber-permitir-**queuing=falso (puesto a cierto esto permite mensajes para ser enviados a cualquiera otro **jabber usuario a cualquier tiempo. Es requerido que el pretendido *recipiente la presencia es **subscribed a y él/es actualmente en línea por un mensaje para ser enviado) **jabber- **autosubscribe=cierto (**incoming mensajes de suscripción son aceptados. |
|
Paquetes [**DEB]
|
*Kaó-20040407 -
*Ontologia de *Karlsruhe y *suite de herramienta de Web Semántica
El *Kaó es una administración de *ontologia de fuente abierta infraestructura apuntada por aplicaciones empresariales.
Incluye una *suite de herramienta comprensible que permite creación de *ontologia fácil y administración y proporciona un marco para construir *ontologia- aplicaciones basadas. Un foco importante de *KAÓ es **scalable y razonamiento eficaz con *ontologies. |
|
Paquetes [**DEB]
|
**kbfs-0.1 -
Conocimiento-Sistema de Archivo Basado
**KBFS proporciona muchas características importantes a nuestro sistema.
Esto incluye apoyo por *inferència clasificación basada de archivos, la habilidad a consulta **URIs basó en **KB consultas, y las capacidades para mantener información de licencia y cuestiones de respuesta relacionaron para archivar uso.
También incluye utilidades para recular ninguno arriba de archivos y directorios a mediados de comunicación *intel·ligentment, e incluirá apoyo por nuestro robot de DVD.
|
|
Paquetes [**DEB]
|
**kea-3.0 -
**Java Programas por Automático **Keyphrase Extracción
Esta distribución incluye un corte-abajo versión de *WEKA, *el **GPL'**ed azulejo de aprendizaje de la máquina disponible de
|
|
Paquetes [**DEB]
|
**lapis-1.2 -
el texto estructurado ligero que edita sistema
**LAPIS es un texto estructurado ligero que edita sistema.
Estas instrucciones asumen que te ha **Java 1.4 o más tarde instalado en vuestro ordenador. Qué es la instalación única requirió. Así que todo tienes que hacer es corrido **LAPIS. - La distribución es **precompiled. El código de fuente por **LAPIS es incluido con la distribución en el archivo **src.**zip. **LAPIS Es Escrito en **Java. Los archivos de fuente generados y COPA **runtime las clases son incluidas en la distribución de fuente. **LAPIS es software libre. La *Redistribució es permitida bajo los términos del *GNU Licencia Pública General. |
|
Paquetes [**DEB]
|
**leviathan-1.5 -
**Perl **chatterbot Entidad *w/ **IM *interfície
**AiChaos **Leviathan es un **Perl **chatterbot entidad creada por **AiChaos, **Inc. **Leviathan Tiene la habilidad de conectar a muchos del Mensajero de Instante importante (OBJETIVO, **MSN, **Jabber, y *IRC) *así como un **HTTP *interfície, permitiéndote o vuestros usuarios para contactar vuestro **bot vía la Internet.
|
|
Paquetes [**DEB]
|
**liblilfes-1.3.2 -
**PL Por Estructuras de Característica Escrita
**LiLFeS Es una lengua de programación que usa Estructuras de Característica Escrita.
La Manipulación de característica estructura tan **builtin estructura de dato --- **LiLFeS es una lengua de programación de la lógica similar a *Prolog. *
fácilmente puedes escribir programas con estructuras de característica escrita, como *gram tiques de *unificació y *parsers. *
Alto-velocidad **runtime sistema.
--- **LiLFeS **runtime el sistema puede con eficiencia *Unificació de proceso de Estructuras de Característica a velocidades altas, los cuales tienden para requerir pesado procesando.
base de datos de Estructura de la Característica --- Los Usuarios pueden usar bases de datos con llaves de estructura de la característica.
*C++ Bibliotecas --- puedes *implementar *C++ programas para tratar estructuras de característica.
* Por uso de bibliotecas de Estructura de la Característica por *C++ lengua, puedes aplicar Estructuras de Característica y *Unificació a varias aplicaciones.
Más **infomation sobre **LiLFeS es aquí. |
|
Paquetes [**DEB]
|
**lpg-1.0 -
**LPG (Local Busca Planear *Grafs)
* Un *planificador plenamente *automatitzat para planear los problemas especificaron usar **PDDL2.1.
|
|
|
**lpg-**td-20041223 -
**LPG (Local Busca Planear *Grafs)
* Un *planificador plenamente *automatitzat para planear los problemas especificaron usar **PDDL2.1.
|
|
|
|
Paquetes [**DEB]
|
**maven-2.0.4 -
* administración de proyecto del Software y *comprehension *herramienta
**Maven es una administración de proyecto del software y *comprehension *herramienta.
Basado en el concepto de un modelo de objeto del proyecto (**POM), **Maven puede dirigir la complexión de un proyecto, informando y documentación de una pieza central de información. |
|
Paquetes [**DEB]
|
**mayz-2.0.3 -
**toolkit por **corpus-**oriented desarrollo de *gram tica
Herramientas en **MAYZ **toolkit: **treetrans: transformando **penn-**treebank-árbol de estilo que usa reglas de patrón *heurístic **lexextract: extrayendo entradas léxicas de *derivations * **lexrefine: el *refinatge extrajo entradas léxicas por corte-de *unimaker: *haciendo archivos de acontecimiento por **unigram modelo de probabilidad **forestmaker: haciendo archivos de acontecimiento por modelo de bosque de la característica **amisfilter: haciendo **amis-archivos de dato del estilo arriba: Un eficaz **parser por *unificació-*gram tiques basadas **mayzup: Un **parser **specialized por las *gram tiques desarrollaron con **MAYZ **lex2*html: haciendo *html archivos de léxico y *derivbank *
|
|
Paquetes [**DEB]
|
**mbp-1.01 -
El Modelo basó **nondeterministic *temporal *planificador
El Modelo *Planificador Basado (**MBP) es un sistema diseñó para actuar síntesis de plan, validación de plan y simulacro/de ámbito del plan en ámbitos no *deterministes.
Proporciona:
* Un marco general por **modeling **nondeterministic ámbitos con varios grados de *observability, *y una lengua para dar apoyo lo.
* Un modelo de plan general, y una lengua que lo da con potente *primitivas.
* Capacitados de validación del plan, expresando validación de plan como al modelo que comprueba problema.
* Un conjunto de *algoritmes eficaces que actúan síntesis de plan por una variedad de clases de planear problemas
* Un medio por simulacro de ámbitos, en **isolation o conducido por planes.
**MBP asume un sencillo pero modelo general de no-*determinisme, el cual **encompasses incertidumbre en la situación inicial, en los efectos de acción, y en el estado en el cual las acciones serán ejecutadas.
Dado una planificación no *determinista ámbito, **MBP puede emprender una variedad de problemas.
**Intuitively, estos problemas pueden ser clasificados según el siguiendo dos dimensiones:
* Grau de *observability *(*y.**e. Qué información puede ser reunida, a cursa-tiempo, en el estado del ámbito).
Esto puede abarcar de pleno **observability (el estado entero del mundo es *observable a cursa-tiempo), a *null * **observability (ninguna información es disponible a cursa-tiempo), al caso general de parcial **observability (único alguna información de ámbito es disponible a tiempo de cursa).
* **Expressiveness De los objetivos.
Planeando los problemas pueden abarcar del caso donde un conjunto de estados finales tiene que ser llegado a (con garantías diferentes de consecución), al caso más general de *temporally *extendió objetivos, *y.**e., donde Los Objetivos expresan condiciones en secuencias de los estados que resultan de la ejecución de un plan, más que sólo en estados finales. |
|
Paquetes [**DEB]
|
*Aiguamel-3.07 -
**toolkit Por **multi-*lingual **summarization y evaluación
*Implementa múltiple **summarization *algoritmes (a índices de compresión *arbitr ria) como posición-basado, **Centroid[**RJB00], **TF***IDF, y consulta-métodos basados.
Métodos para evaluar la calidad de los resúmenes incluye **co-*selection(**precision/**recall, **kappa, y utilidad relativa) y contenido-medidas basadas (**cosine, la palabra *solapa, **bigram *solapar). |
|
|
**metalog-**pnl-2.0 -
**SemWeb Sistema de razonamiento que da apoyo un controlado inglés
**Metalog es un sistema de razonamiento de generación próxima por la Web Semántica.
Históricamente, **Metalog ha sido la primera web semántica sistema para ser diseñado, introduciendo razonamiento dentro de la infraestructura de Web Semántica para sumar la consulta/capa lógica sobre **RDF.
Lo que es **Metalog bono puesto que?
+ A *showcase *el potencial de la Web Semántica + para enseñar la Web Semántica + para entender cómo razonando en la la red puede trabajar + para traer el usuario en el *bucle, para hacer la Web Semántica más fácil
El diseño de *Metalog *viene de la necesidad de *blending *dos **necessities de la Web Semántica:
+ El primero uno está razonando, es decir, la habilidad de razonar, consulta, expresa relaciones lógicas.
En otras palabras, para hacer algunos "pensando" en la red.
+ El segundo uno es para probar para hacer la Web Semántica Fácil, o como mínimo para empezar este **quest.
Por esto, **Metalog tiene una cara doble: una extensión de razonamiento potente en una mano, y un mucho usuario-*interfície amistoso en el otro, el cual constituye otro nivel posible en la jerarquía de Web Semántica: el tan-llamado **pseudo lengua natural (**PNL) capa.
El **PNL (a pesar de su nombre llevar!) Hace mucho más fácil por todo el mundo para entender la Web Semántica, sin teniendo que aprender pesado **geek-como **formalisms: esencialmente, la manera el usuario *interacciona es vía inglés-como diálogos, donde uno puede leer" y "escribir" sin teniendo que aprender una lengua diferente nueva. |
|
Paquetes [**DEB]
|
* **minorthird-20040720 -
**Java Texto **storage, **annotation, extracción y clasificación
Fue escrito principalmente por *William *W. **Cohen, Un profesor a *Carnegie * **Mellon Universidad en el Centro por Descubierta y Aprendizaje *Automatitzat.
Las Contribuciones han sido hechas por otros muchos colegas y estudiantes incluyendo **Edoardo **Airoldi, **Vitor *Rocha *de Carvalho, * **Einat **Minkov, **Sunita **Sarawagi, **Kevin *Estepa, y Richard **Wang. El desarrollo de *Minorthird *era principalmente financiado por la Información que Procesa Oficina de Tecnología (**IPTO) de la Defiende Agencia de Proyectos de Búsqueda Adelantada (**DARPA). La Financiación adicional fue proporcionado por la Beca de Fundación de Ciencia Nacional No. **EIA- 0131884 al Instituto Nacional de Ciencias Estadísticas, y por un contrato de la Oficina de Búsqueda del Ejército al Centro por Ordenador y Seguridad de Comunicaciones (**CyLab) a *Carnegie * **Mellon Universidad. |
|
Paquetes [**DEB]
|
**minorthird-20050921 -
**Java Texto **storage, **annotation, extracción y clasificación
Fue escrito principalmente por *William *W. **Cohen, Un profesor a *Carnegie * **Mellon Universidad en el Centro por Descubierta y Aprendizaje *Automatitzat.
Las Contribuciones han sido hechas por otros muchos colegas y estudiantes incluyendo **Edoardo **Airoldi, **Vitor *Rocha *de Carvalho, * **Einat **Minkov, **Sunita **Sarawagi, **Kevin *Estepa, y Richard **Wang. El desarrollo de *Minorthird *era principalmente financiado por la Información que Procesa Oficina de Tecnología (**IPTO) de la Defiende Agencia de Proyectos de Búsqueda Adelantada (**DARPA). La Financiación adicional fue proporcionado por la Beca de Fundación de Ciencia Nacional No. **EIA- 0131884 al Instituto Nacional de Ciencias Estadísticas, y por un contrato de la Oficina de Búsqueda del Ejército al Centro por Ordenador y Seguridad de Comunicaciones (**CyLab) a *Carnegie * **Mellon Universidad. |
|
Paquetes [**DEB]
|
**mnm-2.1 -
*Ontologia Conducida (**Semi-)Apoyo Automático por Web Semántica
**MnM Es un **annotation herramienta que proporciona ambos *automatitzat y *semi-*automated *apoyo por **annotating páginas de web con contenidos semánticos.
**MnM Integra un navegador de web con un editor de *ontologia y proporciona abierto **APIs para enlazar a *ontologia **servers y para integrar herramientas de extracción de la información. |
|
Paquetes [**DEB]
|
**montylingua-2.1 -
Un Libre, **Commonsense-**Enriched Lengua Natural **Understander por inglés
**MontyLingua es un libre*, **commonsense-**enriched, de punta a punta natural lengua **understander por inglés.
Alimenta texto inglés crudo a *MontyLingua, *y la salida será una interpretación semántica de aquel texto. Perfecto por información **retrieval y extracción, la petición que procesa, y la cuestión que contesta. De frases inglesas, extrae objeto/de verbo/sujeto **tuples, adjetivos de *extractes, frases de sustantivo y frases de verbo, y personas de *extractes nombres, lugares, acontecimientos, fechas y tiempos, y otra información semántica. **MontyLingua Hace tradicionalmente difícil la lengua que procesa tareas triviales! |
|
Paquetes [**DEB]
|
**myfrdcsa-0.1 -
*Ontologia de Software comprensible
El **MyFRDCSA el sistema *implementa nuestra *ontologia de software, además de ser un proyecto delantero que coordina otros proyectos.
Su función es principalmente conceptual en este punto como los sistemas de *ontologia de la llave son no todavía a lugar. Actualmente usa un **OO-**Perl arquitectura que representa proyectos y sistemas, y proporciona funcionalidad que es demasiado general por cualquier de las *subsistemes actuales. |
|
Paquetes [**DEB]
|
**oiled-3.5.7 -
Crea y editar *ontologies de ACEITE
**OilEd Es un editor sencillo que permite el usuario para crear y editar *ontologies de ACEITE.
La intención principal detrás de *OilEd *es para proporcionar un sencillo, **freeware editor que demuestra el uso de, y estimula interés dentro, **DAML+ACEITE. **OilEd no es pretendido como entorno de desarrollo de *ontologia lleno - él no activamente dar apoyo el desarrollo de *ontologies de escalera grande, la migración e integración de *ontologies, **versioning, argumentación y otros muchos actividades que son implicado en construcción de *ontologia. tiene que, aun así, proporciona bastante para permitir la construcción básica de *ontologies de ACEITE y demostrar el poder de la conexión al HECHO **reasoner. |
|
Paquetes [**DEB]
|
**opencyc-0.7.0 -
**Commonsense Conocimiento sistema basado **server
**OpenCyc es la versión de fuente abierta del **Cyc Base de Conocimiento.
Incluido con la liberación es una versión *bin ria libre del **Cyc Conocimiento **Server. El **Cyc Conocimiento **Server incluye un motor de *inferència, un navegador de base del conocimiento y un **API para escribir programas en otras lenguas de nivel alto que acceso y usar el **OpenCyc base de conocimiento. |
|
Paquetes [**DEB]
|
**opencyc-0.9.0 -
**Commonsense Conocimiento sistema basado **server
**OpenCyc es la versión de fuente abierta del **Cyc Base de Conocimiento.
Incluido con la liberación es una versión *bin ria libre del **Cyc Conocimiento **Server. El **Cyc Conocimiento **Server incluye un motor de *inferència, un navegador de base del conocimiento y un **API para escribir programas en otras lenguas de nivel alto que acceso y usar el **OpenCyc base de conocimiento. |
|
Paquetes [**DEB]
|
**peep-0.5.0 -
red **auralizer
**Peep es una herramienta de control de la red que representa información de red vía un *interfície de audio.
diagnósticos de Red son hizo no sólo basado en acontecimientos de red sola pero si la red suena "normal". |
|
|
Paquetes [**DEB]
|
**programd-4.5 -
* **FLOSS **AIML **bot plataforma
* Programa *D es lo más ampliamente usado libre ("fuente abierta") **AIML **bot plataforma en el mundo.
es el más característica-completo, *implementació más probada del actual **AIML especificación. Da apoyo **unlimited múltiplo **bots en un sol **server caso, y tiene un abierto-arquitectura acabada por *interaccionar vía cualquier *interfície **imaginable. La liberación estándar proporciona un *J2**EE *implementació de aplicación de la web que puede ser desplegado como .Archivo de guerra. * Gota-en los *oients son disponibles por **IRC, OBJETIVO, y Yahoo. * Lo incluye un marco de *testatge *automatitzat para probar bases de conocimiento, y es **packaged con un **AIML *Suite de Prueba que **verifies que el programa él *cumplías al **AIML especificación. |
|
|
**rox-**clib-2.1.0 -
**ROX-**Lib2
Esto es versión 2.0.
Marca seguro es en vuestro $**LIBDIRPATH. **Libs` Si estás usando **autoconf y construyendo un **ROX programa entonces: En **src/configura.Dentro sumar: si prueba -**z "$**ROX_CORRIDO". **Libs` En **AppRun y *AppletRun *asegurarte tiene: **APP_*DECIR=`**cd $**APP_*DECIR. |
|
|
**rox-**lib-1.9.14 -
**ROX-**Lib2 contiene código compartido por **ROX aplicaciones
Introducción hay bastando código que es necesidad por muchos **ROX aplicaciones . Si no tienes acceso de cuajo.
Si tienes acceso de cuajo. hay también algunos en- documentación de línea aquí: **http://**rox.**sourceforge.Red/**rox_**lib.*html Traductores Si quieres traducir **ROX-**Lib2 a vuestra lengua nativa. Sigue estos pasos (reemplaza '**fr' con vuestra lengua): $ **cd **ROX-**Lib2/Mensajes $ ./Actualizar-**po $ **cp
* ./*Pitó/**rox/mensajes.Olla **fr.**po [ Edita **fr.**po ] $ ./**dist Actualizando uno existiendo la traducción es igual.
Condiciona Copyright (*C) 2002 *Leonard de Thomas Esta biblioteca es software libre. Esta biblioteca es distribuida en la esperanza que será útil. Tienes que ha recibido una copia del *GNU Menor Licencia Pública General junto con esta biblioteca. |
|
|
Paquetes [**DEB]
|
**rwhoisd-1.5.9 -
**Referral **Whois (**RWhois) **server
Esto es una liberación del **Referral **Whois (**RWhois) **server desarrollado por las Soluciones de Red.
La documentación por **RWhois continuará ser actualizado para reflejar *realçaments a *RWhois. * La Documentación adicional será disponible por todo la evolución de *RWhois *y como **RWhois es desplegado en una escalera más grande. Este **server es una *implementació de referencia del **server costado del **RWhois protocolo. La diferencia primaria entre este **server y las versiones anteriores es el tratamiento de áreas de autoridad. El **server ahora da apoyo áreas de autoridad múltiple y es más estricto en su administración de aquellas áreas de autoridad. La lista siguiente destaca las diferencias primarias entre **rwhoisd-1.5.0 y *rwhoisd-1.0 **B9.
* El se adapta a Versión 1.5 del **RWhois protocolo.
* El código ha estado en gran parte *reescrit. * da apoyo áreas de autoridad múltiple por **server. * La *Indexació es mejorada (archivos de índice tendrían que ser sobre medio de su medida anterior) y el **indexer es más fácil de usar. * El **indexer ahora actuará un número de *syntax *controles en el dato como el índices. * El **indexer y el motor de búsqueda ahora puede manejar LA *IP inteligente dirige emparejar (**CIDR índice y buscando). * **rwhoisd En **daemon modo (el **default) ahora automáticamente puesto él en el fondo y *disassocate *él del controlando terminal (**daemonize). * Incluye **syslog (o falsificación-**syslog a archivos) apoyo. * Lo tiene una consulta más compatible y completa lengua **parser.
* Los mangos de motor de la búsqueda *moderadament complejos consultas más con eficiencia. * El **Whois-código de pantalla compatible ha sido sacado y reemplazado con un más general. |
|
|
Paquetes [**DEB]
|
**sbagen-1.4.1 -
*Binaural bate *generador
Aquí es un breve **intro a algunos de los archivos aquí: **SBAGEN.**txt Documentación de usuario lleno y notas de instalación.
Si os place LEÍDO ESTE **sbagen.**exe El Ganar32 *executable (**ZIP distribución única) **sbagen El **Mac *HUESO *X *executable (**Mac distribución única) COPIANDO.**txt Licencia (*GNU Licencia Pública General versión 2) *.**sbg Varias secuencias que pueden ser corrido a través de *sbagen * **ts- *.**sbg Tono solo-conjuntos **prog-*.**sbg Secuencias más largas de tono- conjuntos *p-* Algún **Perl-guiones que generan y focos de secuencias corridas.**txt / Algunas notas en los guiones que fueron derivado de ola informada.**txt **Monroe Niveles de focos del instituto **holosync.**txt Algunas notas en *el *CenterPointe **Holosync teoría de técnicas*.**txt Algunas notas de mi río de experimentación propio*.**ogg **Loopable Sonido de río del fondo **OGG archivo (bajo **CC licencia). Nota que puesto que Linux y *Mac * **OSX estos son distribuidos en un separado **TGZ **archive
**sbagen.*c. |
|
Paquetes [**DEB]
|
**sgplan-20050930 -
**Subgoal **partitioning Y resolución al planear
* **SGPlan *particions un problema de planificación grande a *subproblems, *cada cual con su propio **subgoal, y resuelve **inconsistent soluciones de *subgoals *usando nuestra *sella extendida-condición de punto.
**Subgoal **partitioning Es eficaz porque cada **partitioned **subproblem implica un número *substancialment más pequeño de *constrenyiments (y *exponentially *complejidad más pequeña) que que del problema original. Hemos desarrollado métodos por la detección de órdenes razonables entre **subgoals, un **landmarks análisis a *hierarchically *descomponer cada **subproblem, una búsqueda-*algoritme de reducción espacial para eliminar acciones *irrellevants en **subproblems, y una estrategia para llamar el *planificador mejor para solucionar cada inferior-nivel **subproblem. Nuestra *implementació actual de *SGPlan *usa un modificado *Mètric-**FF *planificador por planificación básica y sólo invoca **LPG (2003 versión) cuando el *planificador modificado falla. |
|
Paquetes [**DEB]
|
tiendas-0.9.3 -
venta al detalle Sencilla **POS usando **perl-**mysql
**Squirrel Punto de Cerro de Venta da apoyo las características siguientes: + *Inventari Automático **Reordering + Grabar Todas las Peticiones por Productos y Servicios + *Preuació Dinámica por Productos y Servicios + **Sourcing y *Tracking *de Servicios + Alguna Planificación, Planificando y Ejecución
|
|
Paquetes [**DEB]
|
**snark-20030502 -
Común **Lisp la *teorema *automatitzada que prueba programa de *SRI *
**SNARK es una *teorema *automatitzada-probando ser de programa desarrolló en común **Lisp.
Sus reglas de *inferència principales son resolución y *paramodulation. * * **SNARK estilo de la *teorema que prueba es similar a *Llúdria.
Algunas características distintivas de *SNARK *es su apoyo por *algoritmes de *unificació especial, clases, **nonclausal fórmulas, construcción de respuesta por síntesis de programa, *processal **attachment, y *extensibilitat por **Lisp código.
**SNARK Ha sido usado como el componente de razonamiento de *SRI *Base de Conocimiento de Actuación Alta (**HPKB) sistema, el cual deduce las respuestas a cuestiones basaron en grande **repositories de información, y como el **deductive núcleo de NASA **Amphion sistema, el cual compone software de componentes para conocer usuarios' especificaciones, **e.*g., Para Actuar **computations en astronomía planetaria.
**SNARK también ha sido conectado a *Kestrel * **SPECWARE entorno por desarrollo de software. |
|
Paquetes [**DEB]
|
**soar-8.3 -
**Soar Es una arquitectura cognitiva general para desarrollar sistemas que exhiben comportamiento inteligente
Pretendemos finalmente para habilitar el **Soar arquitectura a: * trabajo en la gama llena de tareas esperó de un agente inteligente, de altamente rutinario a extremadamente difícil, abierto-los problemas acabados * representan y usar formas apropiadas de conocimiento, como *processal, **declarative, **episodic, y posiblemente *icònic * emplear la gama llena del problema que soluciona los métodos * *interaccionen con el mundo exterior y aprender * sobre todos los aspectos de las tareas y su actuación en ellos.
En otras palabras, nuestra intención es *por *Soar para dar apoyo todas las capacidades requirieron de un agente inteligente general. |
|
Paquetes [**DEB]
|
**spark-0.8.0 -
**BDI marco de agente de razonamiento *processal
**SPARK Es un marco de agente nuevo que es desarrollado al Centro de Inteligencia Artificial de *SRI *Internacional.
**SPARK Es una Intención de Deseo de la Creencia (**BDI) marco de Agente en el estilo de razonamiento *processal y ha sido fuertemente influido por su predecesor el Sistema de Razonamiento *Processal (**PRS). Es objetivo dirigido y acontecimiento conducido, da apoyo ejecución de plan flexible, y ha *meta-razonamiento de nivel y capacidades de *introspecció. Las motivaciones por el desarrollo de *SPARK *incluye: apoyo por desarrollo de aplicaciones de agente de escalera grande, **principled representación de procedimientos que habilitarán validación y síntesis *automatitzada, flexibilidad en la plataforma de entrega (incluyendo el potencial de correr en **PDAs y plataformas móviles), y construido-en apoyo por usuario **advisability de agentes. |
|
|
|
|
*t-**rex-0.2 -
**Trainable Marc de Extracción de la relación
El **Trainable marco de Extracción de la Relación (*T-**Rex) ha sido desarrollado como **testbed por **experimenting con varios *algoritmes de extracción y varias extracción **scenarios, especialmente extracción de la red.
El marco promueve la adopción de un dividir y conquistar aproximación, por *delimitar **subproblems que puede ser trabajado en por separado por tal de mejorar lo general sistema. Mientras en muchos **IE representación de dato de los sistemas y el *algoritme son estrechamente **coupled, *T-**Rex presenta un *graf *canònic-modelo de dato basado usado por todos los *algoritmes van *implementar dentro del marco. Una representación de *graf ofrece varias ventajas. Más notablemente fácilmente acomoda las representaciones *jer rquiques y él asegura *uniformitat en la representación de varios tipos de artefacto. Por ejemplo, *T-**Rex modelo de dato permite expresar en una manera uniforme *enllaços *arbitraris entre **subgraphs, como **co-*reference *enllaços, *enllaços de *gram tica, enlaza relacionado a
HTML **formatatge y el **annotations de relaciones proporcionadas por el usuario. Otra ventaja está promoviendo el rápido **prototyping de *algoritmes nuevos dados que potencialmente todas las características pueden ser capturadas en el modelo de dato y *reused. * |
|
Paquetes [**DEB]
|
**tabari-0.4.04 -
Análisis Textual Por **Augmented Instrucciones de *Reemplaçament
**TABARI Es el programa de sucesor a *KEDS. *
* actúa codificación de máquina de dato de acontecimiento internacional que usa reconocimiento de patrón y sencillo *gramatical **parsing. Lo es diseñado para trabajar con artículos de noticia corta como aquellos encontrado en informes de servicio del cable o cronologías. |
|
Paquetes [**DEB]
|
* **textmine-0.2 -
**Perl Texto **mining software
**Perl Texto **mining software, incluye módulos por reconocimiento de entidad llamada, la cuestión que contesta, y otro importante **NLP tareas.
|
|
Paquetes [**DEB]
|
**texttoonto-20040524 -
Texto **mining dando apoyo proceso de ingeniería de la *ontologia
Texto de *kaó **mining dando apoyo proceso de ingeniería de la *ontologia.
|
|
Paquetes [**DEB]
|
**timbl-5.0 -
La Memoria basó Aprender *algoritme
hemos sido trabajando desde el final del 1980 en el desarrollo de Memoria basó Aprender técnicas y *algoritmes.
**TiMBL Es el resultado de combinar ideas de un número de diferente **MBL *implementacions. Por otros muchos ámbitos donde tareas de clasificación son aprendidas de ejemplos. La Memoria basó Aprender es un descendente directo del clásico *k Vecino más Cercano (*k **NN) aproximación a clasificación. El foco es en **discrete dato. velocidad de Clasificación es un asunto crítico en cualquier aplicación realista de Memoria basó Aprender. * En algunos casos la organización interna de los resultados de memoria en *algoritmes que son bastante diferente de k * **NN. Cómo es el caso con **IGTREE. El esfuerzo principal en el desarrollo y el mantenimiento de este software fue invertido por **Ko furgoneta **der **Sloot. Algunos del índice **optimizations en **TiMBL es debido a *Jakub * **Zavrel. Este software fue escrito en el contexto del ``**Induction de Conocimiento Lingüístico'' programa de búsqueda. |
|
Paquetes [**DEB]
|
*filat-3.0 -
Web-texto basado **annotation y *auditant sistema
Capturando y Explotando Relaciones Semánticas por Información y Administración de Conocimiento
* El *Filat es un entorno interactivo que permite usuarios para sumar sus observaciones, **viewpoints, y conclusiones como analizan información para hacer semántico **annotations a documentos y otro en línea recursos.
Vemos esto como problema de adquisición del conocimiento, donde los usuarios están sumando conocimiento nuevo al sistema basado en su *perícia cómo analizan información.
El *Filat es básicamente un **CGI (**Perl) y un **DHTML Aplicación.
|
|
|
Paquetes [**DEB]
|
Vampiro-7.0 -
Adelantado **ATP por **FOL *w/igualdad
Vampiro 7.0 *Alexandre **Riazanov, **Andrei **Voronkov Universidad de *Manchester, *Inglaterra#*unknown**riazanoa,**voronkov}@**cs.Hombre.**ac.**uk Arquitectura
Vampiro [**RV02] 7.0 es una *teorema automática **prover por primer-orden lógica clásica.
Su **kernel *implementa lo *calcule de resolución *bin ria pedida y *superposition *para manejar igualdad. El partiendo regla y la igualdad negativa que parte es simulado por la introducción de definiciones de predicado nuevo y *plegatge dinámico de tales definiciones. Un número de criterios de redundancia estándar y técnicas de simplificación son usados por poda el espacio de búsqueda: **subsumption, *tautologia **deletion (**optionally **modulo *commutativitat), **subsumption resolución, *reescrivint por igualdades de unidad pedida, **basicness restricciones y *irreducibility *de *substitution *termas. La reducción **orderings usó es el estándar **Knuth-**Bendix pidiendo y un especial no-**recursive versión del **Knuth-**Bendix pidiendo. Un número de técnicas de *indexació eficaz es usado por
*implementar todas las operaciones importantes en conjuntos de termas y cláusulas. *Algoritme de tiempo corrido **specialisation es usado a *accelerate *algunas operaciones costosas, **e.*g., Controles de pedir *constrenyiments. A pesar de que el **kernel de los trabajos de sistema sólo con **clausal formas normales, el **preprocessor el componente acepta un problema en el pleno primero-lógica de orden **syntax, **clausifies la y actúa un número de transformaciones útiles antes de pasar el resultado al **kernel. Cuando una *teorema es probada, el sistema produce un **verifiable prueba, el cual valida los dos lo **clausification fase y la *refutació del **CNF. La liberación actual presenta un construido-en prueba **checker por el **clausifying fase, el cual será extendido para comprobar pruebas completas. *Implementació
Vampiro 7.0 es *implementat en *C++.
Los *compiladors soportados son **gcc 3.2.*x, **gcc 3.3.*x, Y Microsoft Visual *C++. Esta versión ha estado con éxito *compilada por Linux, pero no ha sido plenamente probado en **Solaris y Ganar32. Es disponible (las condiciones aplican) de:
**http://*www.**cs.Hombre.**ac.**uk/**riazanoa/Vampiro
Estrategias: El Vampiro **kernel proporciona un número bastante grande de características por selección de estrategia.
Lo más importante unos son:
* Elección del procedimiento de saturación principal : (*y) *bucle de *LLÚDRIA, con o sin la Estrategia de Recurso Limitada, (**ii) *bucle de DESCUENTO.
* Una variedad de simplificaciones opcionales. * **Parameterised Reducción **orderings. * * Un número de construido-en funciones de selección *literal y modas diferentes de comparar *literals. * Edad-proporción de pes que especifica que fuertemente más ligero las cláusulas son preferidas por selección de *inferència. * Conjunto-de-estrategia de apoyo.
El modo automático de Vampiro 7.0 es derivado de dato experimental extenso obtenida en problemas de *TPTP * *v2.6.0.
problemas de Entrada son clasificados teniendo cuento propiedades *sint ctiques sencillas, como ser Cuerno o no-Baña, presencia de igualdad, *etc. Además, tenemos en cuenta la presencia de algunas clases importantes de *axiomes, como *axiomes de teoría del conjunto, **associativity y *commutativitat. Cada clase de problemas es asignada un horario fijo que consiste de un número de *kernel *las estrategias llamaron un por uno con límites de tiempo diferente.
Actuación de Competencia esperada: esperamos la versión nueva para actuar mucho mejor que el último ganador de MEZCLA Vampiro 6.0.
El **kernel la *implementació ha **undergone un número de cambios significativos, y varias características nuevas ha sido sumadas, como **basicness restricciones y memoria **defragmentation. Otra fuente de mejora *w.*r.*t. Vampiro 6.0 es la selección mejor de estrategias mejores basó en experimentos extensos. |
|
|
Paquetes [**DEB]
|
**weka-3.4.1 -
Dato **Mining con Aprendizaje de Máquina de Font Abierto Software
**Weka es una colección de la máquina que aprende *algoritmes por dato **mining tareas.
Los *algoritmes tampoco pueden ser aplicados directamente a un **dataset o llamado de vuestro propio **Java código. **Weka Contiene herramientas por dato **pre-*processing, clasificación, *regressió, **clustering, reglas de asociación, y visualización. es también bien-convenido para desarrollar la máquina nueva que aprende esquemas. **Weka es software de fuente abierta emitido bajo el *GNU Licencia Pública General. |
|
|
* **xmi2código-1.2.0*Beta3 -
Un *generador de código de viaje de ronda por **UML.
**xmi2Código es Un *generador de código de viaje de ronda por **UML.
Características: * generación de código de viaje de Ronda (también llamado generación de código *incremental). Mantener vuestro código con una Herramienta de CASO como **Umbrello . * **xmi **handler Por **Umbrello es disponible. * *Generadors por **ADA, *C++ y *PHP *(*PERA compatible) es disponible. * Automático conseguir/funciones puestas por atributos marcados. * Automático **ctor **init listas, basado en **default valores. **Override por clase de base **inits y especial **ctors posible. * Apoyo por directorios de paquete. * Mucho más, ve documentación. |
|
|
|