Sciweavers

14382 search results - page 283 / 2877
» Time in Connectionist Models
Sort
View
OR
2004
Springer
15 years 12 months ago
Freight Flow Consolidation in Presence of Time Windows
This contribution addresses the consideration of time windows in the optimization of multi-commodity network flows. For each node, one interval is specified in which the visitati...
Jörn Schönberger, Herbert Kopfer
UML
2004
Springer
15 years 12 months ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 10 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta
AGENTS
1999
Springer
15 years 11 months ago
Learning to Remove Internet Advertisements
This paper discusses improving the methodology introduced in Kushmerick’s paper about learning to remove internet advertisements. The aim is to reduce the model build time as we...
Nicholas Kushmerick
TACAS
2010
Springer
241views Algorithms» more  TACAS 2010»
16 years 1 months ago
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
Matthieu Moy, Karine Altisen