91 search results - page 6 / 19 » Confined modified realizability |
C5
2006
IEEE
14 years 1 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
ENTCS
2006
13 years 9 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
ACL
2010
13 years 7 months ago
2010
Current Referring Expression Generation algorithms rely on domain dependent preferences for both content selection and linguistic realization. We present two experiments showing t...
RE
2008
Springer
13 years 9 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...