Sciweavers

155 search results - page 19 / 31
» Enforcing Integrability by Error Correction using L1-minimiz...
Sort
View
POPL
1998
ACM
13 years 12 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi
TOG
2012
265views Communications» more  TOG 2012»
11 years 10 months ago
Tailored displays to compensate for visual aberrations
We introduce tailored displays that enhance visual acuity by decomposing virtual objects and placing the resulting anisotropic pieces into the subject’s focal range. The goal is...
Vitor F. Pamplona, Manuel M. Oliveira, Daniel G. A...
ATAL
2007
Springer
13 years 11 months ago
Determining confidence when integrating contributions from multiple agents
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
Raphen Becker, Daniel D. Corkill
ICIP
1998
IEEE
14 years 9 months ago
A Neural Network Approach for Reconstructing Surface Shape from Shading
In this work, a framework for the reconstruction of smooth surface shapes from shading images is presented. The method is based on using a backpropagationbased neural network for ...
Jezekiel Ben-Arie, Dibyendu Nandy
MSO
2003
13 years 9 months ago
Simulation based Development of Efficient Hardware for Sort based Algorithms
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...
Niklas Hansson, Jay H. Harris