2496 search results - page 141 / 500 » Error-detecting properties of languages |
77
Voted
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
A desirable property for any system dealing with unrestricted natural language text is robustness, the ability to analyze any input regardless of its grammaticality. In this paper ...
174
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
169
Voted
SIGMOD
2008
ACM
16 years 29 days ago
2008
ACM
Freebase is a practical, scalable tuple database used to structure general human knowledge. The data in Freebase is collaboratively created, structured, and maintained. Freebase c...
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
107
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...