Sciweavers

2410 search results - page 274 / 482
» Multiset Ordering Constraints
Sort
View
HICSS
1998
IEEE
140views Biometrics» more  HICSS 1998»
15 years 10 months ago
A Multi-Agent Approach to the Deregulation and Restructuring of Power Industry
In recent years, electric utility industry in the whole world has been facing pressure to be deregulated or restructured in order to increase its efficiency, to reduce operational...
Felix F. Wu, Chris Yeung, Ada Poon, Jerome Yen
ICRA
1998
IEEE
91views Robotics» more  ICRA 1998»
15 years 10 months ago
Multi-Resolution Planning for Earthmoving
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
Sanjiv Singh, Howard Cannon
ISSS
1998
IEEE
117views Hardware» more  ISSS 1998»
15 years 10 months ago
HDL-Based Modeling of Embedded Processor Behavior for Retargetable Compilation
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...
Rainer Leupers
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 10 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
TARK
1998
Springer
15 years 10 months ago
The Learning Power of Belief Revision
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
Kevin T. Kelly