Sciweavers

4211 search results - page 60 / 843
» A formal approach to MASQ
Sort
View
ACL
2009
13 years 8 months ago
Revisiting Pivot Language Approach for Machine Translation
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
Hua Wu, Haifeng Wang
TSE
2010
148views more  TSE 2010»
13 years 9 months ago
Program Behavior Discovery and Verification: A Graph Grammar Approach
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
Chunying Zhao, Jun Kong, Kang Zhang
DKE
2011
251views Education» more  DKE 2011»
13 years 6 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
JAIR
2011
133views more  JAIR 2011»
13 years 6 months ago
A Probabilistic Approach for Maintaining Trust Based on Evidence
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
Yonghong Wang, Chung-Wei Hang, Munindar P. Singh
IAJIT
2010
177views more  IAJIT 2010»
13 years 9 months ago
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
Bassam Haddad, Ahmad Awwad