4708 search results - page 687 / 942 » Generating the Structure of Argument |
141
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
A form-based query interface is usually the preferred means to provide an unsophisticated user access to a database. Not only is such an interface easy to use, requiring no techni...
171
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
Music information retrieval is becoming very important with the ever-increasing growth of music content in digital libraries, peer-to-peer systems and the internet. While it is ea...
131
Voted
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
169
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
149
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...