Sciweavers

1407 search results - page 16 / 282
» Learning Abstract Scheduling Models
Sort
View
FORMATS
2008
Springer
13 years 11 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
14 years 2 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
AICOM
2008
146views more  AICOM 2008»
13 years 10 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
ICTAC
2010
Springer
13 years 8 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
14 years 4 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