Sciweavers

3031 search results - page 341 / 607
» Virtual development center
Sort
View
INFORMATICASI
2007
110views more  INFORMATICASI 2007»
15 years 6 months ago
Modeling e-Government processes with UMM
The United Nation’s Center for Trade Facilitation and Electronic Business (UN/CEFACT)) is a standardization body known for its work on UN/EDIFACT and ebXML. One of its most rece...
Philipp Liegl, Rainer Schuster, Marco Zapletal, Ch...
AROBOTS
2005
93views more  AROBOTS 2005»
15 years 6 months ago
A Simple Robotic System for Neurorehabilitation
In the recent past, several researchers have shown that important variables in relearning motor skills and in changing the underlying neural architecture after stroke are the quant...
Silvestro Micera, Maria Chiara Carrozza, Eugenio G...
231
Voted
ISCA
2007
IEEE
217views Hardware» more  ISCA 2007»
15 years 6 months ago
Parallel Processing of High-Dimensional Remote Sensing Images Using Cluster Computer Architectures
Hyperspectral sensors represent the most advanced instruments currently available for remote sensing of the Earth. The high spatial and spectral resolution of the images supplied ...
David Valencia, Antonio Plaza, Pablo Martín...
SIAMCO
2002
71views more  SIAMCO 2002»
15 years 6 months ago
Rate of Convergence for Constrained Stochastic Approximation Algorithms
There is a large literature on the rate of convergence problem for general unconstrained stochastic approximations. Typically, one centers the iterate n about the limit point then...
Robert Buche, Harold J. Kushner
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...