989 resultados para tr-kit

TR-2006014: Geometric Considerations for Distribution of Sensors in Ad-hoc Sensor Networks

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007001: On Developing User Interfaces for Children in Educational Virtual Reality Environments

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007002: Additive Preconditioning and Aggregation in Matrix Computations

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007003: Additive Preconditioning for Matrix Computations

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007004: Additive Preconditioning, Eigenspaces, and the Inverse Iteration

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007005: Interpreting Knowledge into Belief in the Presence of Negative Introspection

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007006: Realizing Substitution Instances of Modal Theorems

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007007: Independent Component Analysis: An Introduction

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007008: The Satisfiability Problem—From the Theory of NP-Completeness to State-of-the-Art SAT Solvers

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007009: Computations in the Null Spaces with Additive Preprocessing

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007010: Error-Free Computations via Floating-Point Operations

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007011: Numerical Computation of Determinants with Additive Preconditioning

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007013: Error-free Computations via Floating-Point Operations: The Code

Relevância:

20.00% 20.00%

Publicador:

Veja mais

TR-2007014: The Schur Aggregation and Extended Iterative Refinement

Relevância:

20.00% 20.00%

Publicador:

Veja mais