670 search results - page 70 / 134 » Modeling generalized implicatures using non-monotonic logics |
141
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
100
click to vote
WWW
2002
ACM
16 years 15 days ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
119
click to vote
JELIA
1994
Springer
15 years 3 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...