814 search results - page 108 / 163 » Machine Translation by Case Generalization |
152
Voted
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
134
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
131
click to vote
SIGSOFT
2008
ACM
15 years 3 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
113
Voted
TSMC
2002
15 years 3 months ago
2002
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
123
click to vote
IANDC
2010
15 years 1 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...