958 search results - page 105 / 192 » Model Transformation Languages and Their Implementation by B... |
124
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
113
click to vote
PPDP
2000
Springer
15 years 5 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
WCE
2007
15 years 2 months ago
2007
—Pose problem is a big challenge for applying face recognition technology under real world conditions. In this paper, appearance based approach was proposed to recognize face acr...
138
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
ACL
2010
14 years 11 months ago
2010
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...