Sciweavers

732 search results - page 70 / 147
» Strongly Non-U-Shaped Learning Results by General Techniques
Sort
View
ECCV
2008
Springer
14 years 9 months ago
Calibration from Statistical Properties of the Visual World
What does a blind entity need in order to determine the geometry of the set of photocells that it carries through a changing lightfield? In this paper, we show that very crude know...
Etienne Grossmann, José António Gasp...
VMCAI
2009
Springer
14 years 2 months ago
Extending Symmetry Reduction by Exploiting System Architecture
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
Richard J. Trefler, Thomas Wahl
IMR
2003
Springer
14 years 28 days ago
Multilevel Accelerated Optimization for Problems in Grid Generation
The quality of numerical simulations of processes that are modeled by partial differential equations strongly depends on the quality of the mesh that is used for their discretiza...
Markus Berndt, Mikhail J. Shashkov
ICFEM
2009
Springer
14 years 2 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
CODES
2007
IEEE
14 years 2 months ago
Secure FPGA circuits using controlled placement and routing
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
Pengyuan Yu, Patrick Schaumont