4211 search results - page 681 / 843 » Types as Abstract Interpretations |
149
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
164
Voted
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Healthcare knowledge management is an active, yet not a well characterized research topic. In this chapter, we attempt to characterize healthcare knowledge management and...
134
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
150
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
169
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...