535 search results - page 24 / 107 » Do we need dependent types |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
SIGDIAL
2010
13 years 5 months ago
2010
In this paper we motivate and describe a dialogue manager which is able to infer and negotiate causal implicatures. A causal implicature is a type of Gricean relation implicature,...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
With the huge amount of cell images produced in bio-imaging, automatic methods for segmentation are needed in order to evaluate the content of the images with respect to types of ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...