762 search results - page 13 / 153 » How to realize |
114
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Database Management Systems (DBMSs) are complex systems whose manageability is increasingly becoming a real concern. Realizing that expert Database Administrators (DBAs) are scarc...
124
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
103
Voted
JSAC
2007
15 years 3 months ago
2007
— Static spectrum allocation prohibits radio devices from using spectral bands designated for others. As a result, some bands are under-utilized while other bands are over-popula...
128
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Even though "providing insight" has been considered one of the main purposes of information visualization (InfoVis), we feel that insight is still a not-well-understood ...
98
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G