1847 search results - page 139 / 370 » Hybrid Functional Interpretations |
147
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
141
click to vote
CN
2006
15 years 5 months ago
2006
The last decade has seen a deluge of proposals for supporting multicast in the Internet. These proposals can be categorized as either infrastructure-based, with the multicast func...
123
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
A template tracking approach to the segmentation of small 3D vessel structures is presented. The main contributions are a general formulation of a vessel template function and a m...
115
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
SRAM-based FPGAs have an inherent capacity for defect tolerance. We propose a simple scheme that exploits this potential in multiple-FPGA systems. The symmetry of the system is ex...
135
click to vote
AIPS
2006
15 years 7 months ago
2006
We view dynamic scheduling as a sequential decision problem. Firstly, we introduce a generalized planning operator, the stochastic task model (STM), which predicts the effects of ...