13913 search results - page 289 / 2783 » models 2007 |
185
click to vote
ACL
2003
15 years 8 months ago
2003
This paper describes an alternative translation model based on a text chunk under the framework of statistical machine translation. The translation model suggested here first per...
189
click to vote
SERP
2007
15 years 8 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
171
click to vote
AML
2007
15 years 7 months ago
2007
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
170
click to vote
CIDR
2003
15 years 8 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
200
click to vote
JIB
2007
15 years 7 months ago
2007
In this paper we present how the process modeling and execution tools iPM and iPE can be used to model and execute biological processes. The main focus of this paper is on the fle...