Sciweavers

790 search results - page 50 / 158
» Second life and education
Sort
View
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 9 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CORR
2007
Springer
159views Education» more  CORR 2007»
13 years 9 months ago
Lifetime Improvement in Wireless Sensor Networks via Collaborative Beamforming and Cooperative Transmission
: Collaborative beamforming (CB) and cooperative transmission (CT) have recently emerged as communication techniques that can make effective use of collaborative/cooperative nodes ...
Zhu Han, H. Vincent Poor
CORR
2007
Springer
140views Education» more  CORR 2007»
13 years 9 months ago
Virtual reality: A human centered tool for improving Manufacturing
: Manufacturing is using Virtual Reality tools to enhance the product life cycle. Their definitions are still in flux and it is necessary to define their connections. Thus, firstly...
Fouad Bennis, Damien Chablat, Philippe Dépi...
CORR
2007
Springer
172views Education» more  CORR 2007»
13 years 9 months ago
A Data-Parallel Version of Aleph
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
Stasinos Konstantopoulos
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 9 months ago
Classification of Ordinal Data
Many real life problems require the classification of items into naturally ordered classes. These problems are traditionally handled by conventional methods intended for the class...
Jaime S. Cardoso