3710 search results - page 187 / 742 » A new calculus of contexts |
200
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
177
click to vote
ICFCA
2007
Springer
16 years 1 months ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
309
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
Pedestrian detection from images is an important and yet challenging task. The conventional methods usually identify human figures using image features inside the local regions. In...
171
click to vote
DLT
2004
15 years 8 months ago
2004
Abstract. We investigate the generative power of cooperating distributed grammar systems (CDGSs), if the cooperation protocol is based on the level of competence on the underlying ...
324
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...