254 search results - page 15 / 51 » A Demand-Driven Algorithm for Generating Minimal Models |
AAAI
2008
13 years 10 months ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
SRDS
1998
IEEE
14 years 1 hour ago
1998
IEEE
A major cost in executing queries in a distributed database system is the data transfer cost incurred in transferring relations (fragments) accessed by a query from different site...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Copyright protection of graphical objects and models is important for protecting author rights in animation, multimedia, computeraided design (CAD), virtual reality, medical imagi...
IJES
2006
13 years 7 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...