3009 search results - page 352 / 602 » The Expressive Rate of Constraints |
180
Voted
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
213
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
229
click to vote
EMNLP
2011
14 years 6 months ago
2011
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...
239
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
197
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Scenes with cast shadows can produce complex sets of
images. These images cannot be well approximated by lowdimensional
linear subspaces. However, in this paper we
show that the...