615 search results - page 35 / 123 » step 2003 |
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
ACSD
2003
IEEE
15 years 3 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
CSMR
2003
IEEE
15 years 3 months ago
2003
IEEE
There may be several reasons to reduce a software system to its bare bone removing the extra fat introduced during development or evolution. Porting the software system on embedde...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
IAT
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a multi-agent reinforcement learning bidding approach (MARLBS) for performing multi-agent reinforcement learning. MARLBS integrates reinforcement learning, bid...