4008 search results - page 116 / 802 » An expressive language of signatures |
154
click to vote
TON
2012
13 years 8 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
194
click to vote
AAAI
2011
14 years 6 months ago
2011
Externalities are recognized to exist in the sponsored search market, where two co-located ads compete for user attention. Existing work focuses on the effect of another ad on th...
170
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
183
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
151
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...