1422 search results - page 69 / 285 » Complementation in Abstract Interpretation |
144
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
120
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
135
click to vote
PCI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we address the problem of computing a maximum-size subgraph of a P4-sparse graph which admits a perfect matching; in the case where the graph has a perfect...
150
click to vote
ICCBSS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This workshop explores innovative ways of integrating COTS software into software systems for purposes often unimagined by their original designers. It emphasizes tools a...
112
Voted
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...