531 search results - page 80 / 107 » An Argumentation-Based Approach for Practical Reasoning |
121
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Wireplanning is an approach in which the timing of inputoutput paths is planned before modules are specified, synthesized or sized. If these global wires are optimally segmented ...
137
Voted
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
156
Voted
MASA
2001
Springer
15 years 8 months ago
2001
Springer
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...
124
Voted
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
-- Publishing person specific data while protecting privacy is an important problem. Existing algorithms that enforce the privacy principle called l-diversity are heuristic based d...
125
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...