1999 search results - page 356 / 400 » Dependently Typed Grammars |
208
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
188
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Database queries are often exploratory and users often find their queries return too many answers, many of them irrelevant. Existing work either categorizes or ranks the results t...
182
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
131
click to vote
ICIAP
2007
ACM
16 years 2 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
108
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...