IANDC
2011
12 years 11 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
IAJIT
2011
12 years 11 months ago
2011
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
ESWA
2011
12 years 11 months ago
2011
Business process models are becoming available in large numbers due to their popular use in many industrial applications such as enterprise and quality engineering projects. On th...
EOR
2011
12 years 11 months ago
2011
: We develop a model to study the impact of changes in price or quality sensitivity on the firm as it introduces multiple generations of a durable product where unit costs are a co...
ECEASST
2011
12 years 11 months ago
2011
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That...
ECCC
2011
12 years 11 months ago
2011
We show two new direct product results in two different models of communication complexity. Our first result is in the model of one-way public-coin model. Let f ⊆ X × Y × Z ...
COMPSAC
2010
IEEE
12 years 11 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
COLING
2010
12 years 11 months ago
2010
This paper proposes a novel topic model, Citation-Author-Topic (CAT) model that addresses a semantic search task we define as expert search
COLING
2010
12 years 11 months ago
2010
In this work, we model the writing revision process of English as a Second Language (ESL) students with syntaxdriven machine translation methods. We compare two approaches: tree-t...
COLING
2010
12 years 11 months ago
2010
We present a new reordering model estimated as a standard n-gram language model with units built from morphosyntactic information of the source and target languages. It can be see...