Sciweavers

7773 search results - page 363 / 1555
» On generalized Frame-Stewart numbers
Sort
View
171
Voted
IWANN
2009
Springer
15 years 11 months ago
Lower Bounds for Approximation of Some Classes of Lebesgue Measurable Functions by Sigmoidal Neural Networks
We propose a general method for estimating the distance between a compact subspace K of the space L1 ([0, 1]s ) of Lebesgue measurable functions defined on the hypercube [0, 1]s ,...
José Luis Montaña, Cruz E. Borges
KI
2009
Springer
15 years 11 months ago
Semi-automatic Creation of Resources for Spoken Dialog Systems
The increasing number of spoken dialog systems calls for efficient approaches for their development and testing. Our goal is the minimization of hand-crafted resources to maximize ...
Tatjana Scheffler, Roland Roller, Norbert Reithing...
164
Voted
MHCI
2009
Springer
15 years 11 months ago
User experience with in-car GPS navigation systems: comparing the young and elderly drivers
This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...
Abdullah Al Mahmud, Omar Mubin, Suleman Shahid
STACS
2009
Springer
15 years 11 months ago
Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information Complexity of the AND-Function and Disjointness
Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special ca...
Andre Gronemeier
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...