2586 search results - page 75 / 518 » Automatic Abstraction for Congruences |
ISI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—Public communication during natural and manmade disasters is a key issue that must be addressed to protect lives and properties. The choice of the best protective action...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
ER
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
113
click to vote
ICNC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The method of lexical chains is the first time introduced to generate summaries from Chinese texts. The algorithm which computes lexical chains based on the HowNet knowl...