4211 search results - page 681 / 843 » Types as Abstract Interpretations |
178
click to vote
AMR
2007
Springer
16 years 15 days 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...
197
click to vote
AIME
2007
Springer
16 years 15 days 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...
164
click to vote
AOSE
2007
Springer
16 years 15 days 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 ...
170
click to vote
ATAL
2007
Springer
16 years 15 days 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...
206
click to vote
CALCO
2007
Springer
16 years 15 days 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...