62 search results - page 5 / 13 » Converting One Type-Based Abstract Domain to Another |
AOSD
2010
ACM
13 years 7 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...
CP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
NGC
2006
Springer
13 years 7 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
IJCV
2010
13 years 5 months ago
2010
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...