11345 search results - page 1673 / 2269 » Foundations of Computer Science |
142
Voted
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Externalities occur among agglomerated firms. Scale externalities occur between firms in an industry with similar activities. Scope externalities occur when heterogeneous activiti...
168
click to vote
ICDS
2007
IEEE
16 years 23 days ago
2007
IEEE
— An increasing aged population worldwide puts our medical capabilities to the test. Research and commercial groups are investigating novel ways to care for the aged and chroni...
163
Voted
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...
129
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
157
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...