11716 search results - page 75 / 2344 » Computable symbolic dynamics |
143
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
156
click to vote
CONCUR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
174
click to vote
TIME
2007
IEEE
16 years 12 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
235
click to vote
GREC
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we make a brief report of the third edition of the International Symbol Recognition Contest, organized in the context of GREC’07. This contest follows the series st...
134
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper the potential of GP-generated symbolic regression for alleviating multicollinearity problems in multiple regression is presented with a case study in an industrial s...