4666 search results - page 198 / 934 » Equations on Timed Languages |
163
click to vote
ICDAR
2007
IEEE
16 years 27 days ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...
164
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
157
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
151
click to vote
IJCNLP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...
149
click to vote
AMAST
2004
Springer
16 years 5 min ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...