Aproximadamente 43 registro(s) hasta el momento: (knowledge)
Mostrar 10 | 50 | 100 resultados por página
Recurso libre 
1.
Automated Reasoning About Classical Mechanics
Wong, Leon
Formato:
Enlaces:
Fecha: 2004-10-20
Recurso: MIT

Recurso libre 
2.
Reducing Impediments to Collaboration in a Virtual Design World
Seshasai, Satwik - Gupta, Amar - Sainath, Tara
Formato:
Enlaces:
Fecha: 2002-09-25
Recurso: MIT

Recurso libre 
3.
Knowledge Partitioning in the Inter-firm Dividsion of Labor: the case of Automotive product Development
Takeishi, Akira
Formato:
Enlaces:
Fecha: 2002-06-26
Recurso: MIT

Recurso libre 
4.
BUILD: A Tool for Maintaining Consistency in Modular Systems
Robbins, Richard Elliot
Formato:
Enlaces:
Fecha: 2004-10-20
Recurso: MIT

Recurso libre 
5.
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
Rich, Charles - Waters, Richard C.
Formato:
Enlaces:
Fecha: 2004-08-31
Recurso: MIT

Recurso libre 
6.
A Knowledge based segmentation algorithm for enhanced recognition of handwritten courtesy amounts
Formato:
Enlaces:
Fecha: 2003-04-29
Recurso: MIT

Recurso libre 
7.
A Methodology for integration of heterogeneous databases
Formato:
Enlaces:
Fecha: 2003-04-29
Recurso: MIT

Recurso libre 
8.
Computer aided design of circular tunnels using analysis and knowledge-based rules
Brito, Jaime Francisco
Formato: Thesis
Enlaces:
Fecha: 2005-08-16
Recurso: MIT

Recurso libre 
9.
Causal/Temporal Connectives: Syntax and Lexicon
Brent, Michael R.
Formato:
Enlaces:
Fecha: 2004-10-04
Recurso: MIT

Recurso libre 
10.
Expressing Mathematical Subroutines Constructively
Roylance, Gerald
Formato:
Enlaces:
Fecha: 2004-10-04
Recurso: MIT