324 search results - page 11 / 65 » Detecting common elements of types |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
When human listeners utter Listener Responses (e.g. back-channels or acknowledgments) such as ‘yeah’ and ‘mmhmm’, interlocutors commonly continue to speak or resume their ...
IFIP
1994
Springer
13 years 11 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
LFP
1994
13 years 8 months ago
1994
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
SIGSOFT
2005
ACM
14 years 1 months ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...