1511 search results - page 76 / 303 » Relational Parametricity for Computational Effects |
129
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a novel method for detecting multiple moving targets in real-time from infrared (IR) image sequences collected by an airborne IR camera. This novel method is b...
174
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Facial expression plays an important role in face to face communication in that it conveys nonverbal information and emotional intent beyond speech. In this paper, an approach for ...
154
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
123
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
262
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...