Sciweavers

1407 search results - page 16 / 282
» Learning Abstract Scheduling Models
Sort
View
FORMATS
2008
Springer
15 years 4 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
HPDC
1998
IEEE
15 years 6 months ago
Metascheduling: A Scheduling Model for Metacomputing Systems
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
Jon B. Weissman
118
Voted
AICOM
2008
146views more  AICOM 2008»
15 years 2 months ago
Domain action classification using a maximum entropy model in a schedule management domain
Since speaker's intentions can be represented into domain actions (pairs of domain-independent speech acts and domain-dependent concept sequences) in goal-oriented dialogues,...
Hyunjung Lee, Harksoo Kim, Jungyun Seo
134
Voted
ICTAC
2010
Springer
15 years 1 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
ICANN
2007
Springer
15 years 8 months ago
A Two-Layer ICA-Like Model Estimated by Score Matching
Abstract. Capturing regularities in high-dimensional data is an important problem in machine learning and signal processing. Here we present a statistical model that learns a nonli...
Urs Köster, Aapo Hyvärinen