2373 search results - page 104 / 475 » On the Theory of Structural Subtyping |
196
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
146
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
171
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
142
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
133
click to vote
ICMCS
2005
IEEE
16 years 3 days ago
2005
IEEE
Separation of voice and music is an interesting but difficult problem. It is useful for many other researches such as audio content analysis. In this paper, the difference betwee...