1240 search results - page 166 / 248 » Composition with Target Constraints |
IJCNLP
2004
Springer
2004
Springer
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
15 years 3 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...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper we evaluate the effectiveness of agent-based aiding in support of a time-critical team-planning task for teams of both humans and heterogeneous software agents. The ...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...