5624 search results - page 334 / 1125 » On Conditional Covering Problem |
156
Voted
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
142
click to vote
INTETAIN
2005
Springer
16 years 7 days ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
148
click to vote
PAM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...
139
click to vote
SGAI
2005
Springer
16 years 7 days ago
2005
Springer
This paper details the application of geometric proportional analogies in the sub-classification of polygons within a topographic (land cover) map. The first part of this paper co...
171
click to vote
ECOOPW
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...