11395 search results - page 19 / 2279 » Beyond computer science |
132
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
123
Voted
ITICSE
2000
ACM
15 years 7 months ago
2000
ACM
Network-based distributed education is a reality today. At George Mason University, we have been pursuing a capability beyond the widespread practice of supporting courses with we...
125
Voted
GI
2010
Springer
15 years 1 months ago
2010
Springer
: Today most mobile operating systems provide an application portal (e.g. Android Market, AppStore) where users can search by keywords and explicitly rate applications published by...
184
Voted
CAINE
2010
15 years 24 days ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
126
click to vote
TCS
2010
14 years 9 months ago
2010
The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in sem...