505 search results - page 13 / 101 » Implementation of Belief Change Operators Using BDDs |
CCS
1994
ACM
15 years 1 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Clustering system is getting popular in various application areas because of its cost-effectiveness. In this paper, we introduce the CROWN (Clustering Resources on Workstations’...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
—while dealing with sub-micrometer precision robots, thermal expansion is the most significant source of inaccuracy. Thermal variations in the environment, in the robot parts a...
125
click to vote
Publication
This research addressed changes in passenger activity and operating performance after implementation of a bus stop consolidation project at TriMet, the regional transit provider fo...