697 search results - page 37 / 140 » Decomposition Structures for Event-B |
131
Voted
ICDM
2009
IEEE
15 years 11 days ago
2009
IEEE
Temporal causal modeling can be used to recover the causal structure among a group of relevant time series variables. Several methods have been developed to explicitly construct te...
99
Voted
CGF
2006
15 years 2 months ago
2006
Though ray tracing has recently become interactive, its high precomputation time for building spatial indices usually limits its applications to walkthroughs of static scenes. Thi...
119
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Many researchers have encountered the problem that the evolution of electronic circuits becomes exponentially more difficult when problems with an increasing number of outputs...
124
Voted
MP
2006
15 years 2 months ago
2006
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
91
Voted
ICCD
2005
IEEE
15 years 11 months ago
2005
IEEE
Traditional approaches for sequential logic optimization include (1) explicit state-based techniques such as state minimization, (2) structural techniques such as retiming, and (3...