5550 search results - page 176 / 1110 » Different Approaches to Proof Systems |
180
click to vote
ACL
1992
15 years 7 months ago
1992
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...
153
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
185
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
168
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Abstract. We present a Context Ultra-Sensitive Approach based on two-step Recommender systems (CUSA-2step-Rec). Our approach relies on a committee of profile-specific neural networ...
171
click to vote
WISE
2008
Springer
16 years 26 days ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...