92 search results - page 16 / 19 » Proof Planning with Multiple Strategies |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Since the Hong Kong SAR Government promulgated the first Digital 21 IT Strategy in November 1998, multiple major initiatives had been launched to establish the underlying infrastr...
76
Voted
ISM
2005
IEEE
15 years 3 months ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
75
Voted
ACMICEC
2004
ACM
15 years 3 months ago
2004
ACM
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...
ISPD
1998
ACM
15 years 1 months ago
1998
ACM
—High-frequency circuits are notoriously difficult to lay out because of the tight coupling between device-level placement and wiring. Given that successful electrical performan...
AROBOTS
2005
14 years 9 months ago
2005
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...