1788 search results - page 214 / 358 » The Language of Search |
144
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
It has been a few years since the semantic Web was initiated by W3C, but its status has not been quantitatively measured. It is crucial to understand the status at this early stag...
255
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
159
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
131
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
136
click to vote
IR
2007
15 years 3 months ago
2007
Word form normalization through lemmatization or stemming is a standard procedure in information retrieval because morphological variation needs to be accounted for and several la...