670 search results - page 70 / 134 » Modeling generalized implicatures using non-monotonic logics |
180
Voted
PLDI
2012
ACM
13 years 6 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...
139
Voted
WWW
2002
ACM
16 years 4 months 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...
129
Voted
ECCV
2004
Springer
15 years 9 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...
168
Voted
JELIA
1994
Springer
15 years 7 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...
126
Voted
SEKE
2004
Springer
15 years 9 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...