692 search results - page 105 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
CIBB
2008
15 years 1 months ago
2008
Abstract. Stability is an important property of machine learning algorithms. Stability in clustering may be related to clustering quality or ensemble diversity, and therefore used ...
IWEC
2007
15 years 1 months ago
2007
Abstract. Visual attention plays a critical role in game playing. A better understanding of the allocation of visual attention can benefit the design of game scenarios. In this pa...