2196 search results - page 98 / 440 » Practical Reasoning Using Values |
125
click to vote
TCAD
2008
15 years 4 months ago
2008
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
150
click to vote
APPINF
2003
15 years 6 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
165
click to vote
DALT
2007
Springer
15 years 6 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
121
Voted
BCSHCI
2009
15 years 5 months ago
2009
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
NETCOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we show how dynamic brokering for batch allocation in grids based on bi-dimensional indices can be used in practice in computational grids, with or without ...