Wednesday, October 22, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1104) Lógica inductiva
(1104.01) Inducción (1104.02) Intuicionismo
(1104.03) Probabilidad (1104.99) Otras (especificar)

Mostrando recursos 1 - 20 de 2,546

1. Elementary lessons in logic; deductive and inductive. With copious questions and examples and a vocabulary of logical terms. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

2. Elementary lessons in logic : deductive and inductive : with copious questions and examples, and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
On spine: Lessons in logic.

3. Elementary lessons in logic : deductive and inductive : with copious questions and examples and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

4. Elementary lessons in logic: deductive and inductive. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

5. Elementary lessons in logic : deductive and inductive : with copious questions and examples and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
Includes index.

6. Elementary lessons in logic: deductive and inductive. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

7. Elementary lessons in logic: deductive and inductive. With copious questions and examples, and a vocabulary of logical terms. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

8. A Phase Transition-Based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with Relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and Inductive Logic Programming or Relational Learning. The so-called phase transition framework, originally developed for constraint satisfaction problems, has been extended to relational learning and it has provided relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance (MI) Kernels along the phase transition framework. A relaxation of the MI-SVM problem formalized as a linear programming problem (LPP) is defined and we show that the LPP satisfiability rate induces a lower...

9. A Phase Transition-based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP). The so-called phase transition framework, primarily developed for constraint satisfaction problems (CSP), has been extended to ILP, providing relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance-SVMs in the phase transition perspective. Introducing a relaxed CSP formalization of MI-SVMs, we first derive a lower bound on the MI-SVM generalization error in terms of the CSP satisfiability probability. Further, ample empirical evidence based...

10. A Phase Transition-Based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with Relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and Inductive Logic Programming or Relational Learning. The so-called phase transition framework, originally developed for constraint satisfaction problems, has been extended to relational learning and it has provided relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance (MI) Kernels along the phase transition framework. A relaxation of the MI-SVM problem formalized as a linear programming problem (LPP) is defined and we show that the LPP satisfiability rate induces a lower...

11. A Phase Transition-Based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with Relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and Inductive Logic Programming or Relational Learning. The so-called phase transition framework, originally developed for constraint satisfaction problems, has been extended to relational learning and it has provided relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance (MI) Kernels along the phase transition framework. A relaxation of the MI-SVM problem formalized as a linear programming problem (LPP) is defined and we show that the LPP satisfiability rate induces a lower...

12. A Phase Transition-based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP). The so-called phase transition framework, primarily developed for constraint satisfaction problems (CSP), has been extended to ILP, providing relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance-SVMs in the phase transition perspective. Introducing a relaxed CSP formalization of MI-SVMs, we first derive a lower bound on the MI-SVM generalization error in terms of the CSP satisfiability probability. Further, ample empirical evidence based...

13. A Phase Transition-Based Perspective on Multiple Instance Kernels - Romaric Gaudel; Michèle Sebag; Antoine Cornuéjols
This paper is concerned with Relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and Inductive Logic Programming or Relational Learning. The so-called phase transition framework, primarily developed for constraint satisfaction problems (CSP), has been extended to relational learning, providing relevant insights into the limitations and difficulties thereof. The goal of this paper is to examine relational SVMs and specifically Multiple Instance Kernels along the phase transition framework; a specific CSP formalization for multiple instance problems, inspired by chemometry applications, is proposed. Ample empirical evidence based on a set of order parameters shows the existence of an...

14. A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / - Mill, John Stuart, 1806-1873.
Mode of access: Internet.

15. A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / - Mill, John Stuart, 1806-1873.
Mode of access: Internet.

16. A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation. - Mill, John Stuart, 1806-1873.
Mode of access: Internet.

17. A system of logic, ratiocinative and inductive: being a connected view of the principles of evidence and the methods of scientific inverstigation. - Mill, John Stuart, 1806-1873.
Mode of access: Internet.

18. Contribución de la Educación Física a la educación para la paz en estudiantes de Medicina - Pérez Veitía, Jorge Luis
Fundamento: la violencia es un problema de salud, por tanto, de competencia para la salud pública y en especial, los médicos. Objetivo: identificar las potencialidades que ofrece la asignatura Educación Física para la introducción de la educación para la paz, a partir de su vínculo con la actividad extensionista y otras asignaturas del área básica en la Facultad de Medicina. Métodos: la metodología empleada responde a la lógica cualitativa. El estudio abarca un período desde 2009 hasta 2012, donde se abordan los fundamentos teóricos y metodológicos en torno al tema como un problema de salud. La muestra estuvo integrada por...

19. ILP with Noise and Fixed Example Size: A Bayesian Approach - Eric Mccreath; Arun Sharma
Current inductive logic programming systems are limited in their handling of noise, as they employ a greedy covering approach to constructing the hypothesis one clause at a time. This approach also causes difficulty in learning recursive predicates. Additionally, many current systems have an implicit expectation that the cardinality of the positive and negative examples reflect the "proportion" of the concept to the instance space. A framework for learning from noisy data and fixed example size is presented. A Bayesian heuristic for finding the most probable hypothesis in this general framework is derived. This approach evaluates a hypothesis as a whole...

20. Extraction of Meta-Knowledge to Restrict the Hypothesis Space for ILP Systems - Eric Mccreath; Arun Sharma
Many ILP systems, such as GOLEM, FOIL, and MIS, take advantage of user supplied meta-knowledge to restrict the hypothesis space. This meta-knowledge can be in the form of type information about arguments in the predicate being learned, or it can be information about whether a certain argument in the predicate is functionally dependent on the other arguments (supplied as mode information). This meta-knowledge is explicitly supplied to an ILP system in addition to the data. The present paper argues that in many cases the meta- knowledge can be extracted directly from the raw data. Three algorithms are presented that learn...

Página de resultados:
 

Busque un recurso