3994 search results - page 449 / 799 » A Linear Logical Framework |
181
click to vote
CPAIOR
2006
Springer
15 years 11 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 ...
224
click to vote
FMCAD
2000
Springer
15 years 11 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...
217
click to vote
MICRO
2000
IEEE
15 years 11 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...
196
click to vote
DLOG
2007
15 years 10 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 ...
246
click to vote
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a multi-agent framework for distributed web-based face recognition using fuzzy logic based result fusion mechanism. The model is designed in JADE framework and...