2766 search results - page 380 / 554 » Hybridizing a Logical Framework |
115
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
156
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
155
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
146
click to vote
DLOG
2007
15 years 7 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
130
Voted
WSC
2007
15 years 7 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...