1755 search results - page 162 / 351 » An efficient simulation algorithm based on abstract interpre... |
79
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
123
click to vote
ICPP
1993
IEEE
15 years 7 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
108
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...
105
Voted
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we compare our selection based learning algorithm with the reinforcement learning algorithm in Web crawlers. The task of the crawlers is to find new inform...
130
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...