2586 search results - page 372 / 518 » Automatic Abstraction for Congruences |
174
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
190
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
168
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
172
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
168
click to vote
IJCNLP
2004
Springer
2004
Springer
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
15 years 11 months ago
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...