7124 search results - page 1079 / 1425 » Programming Languages and Operating Systems |
129
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a method of detecting Japanese Katakana variants from a large corpus. Katakana words, which are mainly used as loanwords, cause problems with information retr...
149
click to vote
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
161
click to vote
ACTA
2010
15 years 4 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
137
Voted
ENTCS
2000
15 years 4 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
275
Voted
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...