1650 search results - page 108 / 330 » How to Turn the Page |
141
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
163
click to vote
SAFECOMP
2001
Springer
15 years 10 months ago
2001
Springer
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
182
click to vote
DMKD
2000
ACM
15 years 10 months ago
2000
ACM
Text documents often contain valuable structured data that is hidden in regular English sentences. This data is best exploited if available as a relational table that we could use...
185
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
The energy usage of computer systems is becoming important, especially for portablebattery-operated applications and embedded systems. A significant reduction in the energy consum...
164
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...