Sciweavers

374 search results - page 26 / 75
» A Model of Fair Process and Its Limits
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 8 days ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
ASWEC
2008
IEEE
13 years 9 months ago
Towards Formalizing Resource Based Non-conformance in Business
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
Sean Thompson, Torab Torabi
FIRBPERF
2005
IEEE
260views Algorithms» more  FIRBPERF 2005»
14 years 1 months ago
Models of Dynamic Web Content
Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within site...
Mariacarla Calzarossa, Daniele Tessera
ICASSP
2011
IEEE
12 years 11 months ago
HNM-based MFCC+F0 extractor applied to statistical speech synthesis
Currently, the statistical framework based on Hidden Markov Models (HMMs) plays a relevant role in speech synthesis, while voice conversion systems based on Gaussian Mixture Model...
Daniel Erro, Iñaki Sainz, Eva Navas, Inma H...
CSREASAM
2006
13 years 9 months ago
A Visual Environment for Characterization of State Changes in Computer Systems
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
Gregory Vert, Sergiu M. Dascalu, Frederick C. Harr...