6167 search results - page 128 / 1234 » Can Refinement be Automated |
151
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
120
click to vote
ICAIL
1995
ACM
15 years 8 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
144
click to vote
AAAI
2007
15 years 6 months ago
2007
Assessing recovery from stroke has been so far a time consuming procedure in which highly trained clinicians are required. This paper proposes a mechatronic platform which measure...
124
click to vote
USENIX
2007
15 years 6 months ago
2007
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...
128
click to vote
ISMB
1998
15 years 5 months ago
1998
The avMlability of large EST(Expressed Sequence Tag)databases has led to a revolution in the waynew genes are cloned. Difficulties arise, however,due to high error rates and redun...