1287 search results - page 184 / 258 » Reduction of Timed Hybrid Systems |
IEICET
2007
13 years 9 months ago
2007
The channel capacity of the indoor multiple input multiple output (MIMO) system is investigated with consideration of the effects of the wall by using a hybrid method of the finit...
EUSFLAT
2009
13 years 7 months ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...
VISUALIZATION
2000
IEEE
14 years 2 months ago
2000
IEEE
Virtual endoscopy presents the cross-sectional acquired 3D-data of a computer tomograph as an endoluminal view. The common approach for the visualization of a virtual endoscopy is...
IFIP
1998
Springer
14 years 2 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
AAAI
1993
13 years 11 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...