Sciweavers

3625 search results - page 346 / 725
» On choosing
Sort
View
ICIAP
2007
ACM
16 years 1 months ago
Dynamic Score Selection for Fusion of Multiple Biometric Matchers
A biometric system for user authentication produces a matching score representing the degree of similarity of the input biometry with the set of templates for that user. If the sc...
Roberto Tronci, Giorgio Giacinto, Fabio Roli
ICOIN
2007
Springer
16 years 1 months ago
On the Early Release of Burst-Control Packets in Optical Burst-Switched Networks
Abstract. In Optical Burst-Switched networks, the so-called BurstControl Packet is sent a given offset-time ahead of the optical data burst to advertise the imminent burst arrival...
José Alberto Hernández, Javier Araci...
IESS
2007
Springer
156views Hardware» more  IESS 2007»
16 years 1 months ago
Automatic Data Path Generation from C code for Custom Processors
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
Jelena Trajkovic, Daniel Gajski
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 1 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
190
Voted
ISSAC
2007
Springer
146views Mathematics» more  ISSAC 2007»
16 years 1 months ago
Fast and exact geometric analysis of real algebraic plane curves
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
Arno Eigenwillig, Michael Kerber, Nicola Wolpert