Sciweavers

2891 search results - page 22 / 579
» More or Less Elaborate
Sort
View
PEPM
2009
ACM
16 years 10 months ago
Static Consistency Checking for Verilog Wire Interconnects
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
Cherif Salama, Gregory Malecha, Walid Taha, Jim Gr...
COMPGEOM
2006
ACM
15 years 4 months ago
Provably good sampling and meshing of Lipschitz surfaces
In the last decade, a great deal of work has been devoted to the elaboration of a sampling theory for smooth surfaces. The goal was to ensure a good reconstruction of a given surf...
Jean-Daniel Boissonnat, Steve Oudot
IJCNN
2000
IEEE
15 years 2 months ago
On Derivation of MLP Backpropagation from the Kelley-Bryson Optimal-Control Gradient Formula and Its Application
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...
Eiji Mizutani, Stuart E. Dreyfus, Kenichi Nishio
IASTEDSE
2004
14 years 11 months ago
Service specification with MSCs and roles
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
Ingolf H. Krüger
ICIP
2010
IEEE
14 years 8 months ago
Improving histology images segmentation through spatial constraints and supervision
We introduce two approaches to improve an existing color segmentation technique based on a Split and Merge quantization process for the study of stained histological images. We pr...
Nicolas Hervé, Aude Servais, Eric Thervet, ...