Sciweavers

11328 search results - page 80 / 2266
» Timed Branching Processes
Sort
View
CCE
2011
14 years 6 months ago
Time representations and mathematical models for process scheduling problems
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
Sylvain Mouret, Ignacio E. Grossmann, Pierre Pesti...
IANDC
2006
126views more  IANDC 2006»
15 years 3 months ago
Coalgebraic semantics for timed processes
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
Marco Kick, John Power, Alex Simpson
208
Voted
ICMCS
2008
IEEE
167views Multimedia» more  ICMCS 2008»
15 years 9 months ago
Statistical processing of video for detection of events in space and time
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
Alexia Briassouli, Ioannis Kompatsiaris
SLIP
2009
ACM
15 years 9 months ago
Closed-form solution for timing analysis of process variations on SWCNT interconnect
In this paper, a comprehensive and fast method is presented for the timing analysis of process variations on single-walled carbon nanotube (SWCNT) bundles. Unlike previous works t...
Peng Sun, Rong Luo
HICSS
2006
IEEE
99views Biometrics» more  HICSS 2006»
15 years 9 months ago
The Effect of Time Separation on Coordination Processes and Outcomes: A Case Study
Prior research has discussed and investigated how global teams bridge multiple boundaries (e.g., distance, time, culture) that separate its members and impact the coordination of ...
J. Alberto Espinosa, Cynthia Pickering