Sciweavers

2330 search results - page 362 / 466
» A System for Object Class Detection
Sort
View
OMER
2001
15 years 5 months ago
Model-Based Design of ECU Software - A Component Based Approach
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
Ulrich Freund, Alexander Burst
IM
1997
15 years 5 months ago
Customer Management and Control of Broadband VPN Services
We present an architecture for customer management and control of a broadband VPN service. The architecture is aimed at giving the VPN customer a high level of control over the tr...
Mun Choon Chan, Aurel A. Lazar, Rolf Stadler
APAL
2005
107views more  APAL 2005»
15 years 4 months ago
Uniform Heyting arithmetic
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
Ulrich Berger
JIB
2007
121views more  JIB 2007»
15 years 4 months ago
MetHouse: Raw and Preprocessed Mass Spectrometry Data
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
Antje Gaida, Steffen Neumann
PAMI
1998
112views more  PAMI 1998»
15 years 3 months ago
Degraded Image Analysis: An Invariant Approach
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...
Jan Flusser, Tomás Suk