1705 search results - page 227 / 341 » Representing Constraints with Automata |
156
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
122
click to vote
ACL
2010
15 years 4 months ago
2010
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
151
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
178
click to vote
JMLR
2010
15 years 1 months ago
2010
Various supervised inference methods can be analyzed as convex duals of the generalized maximum entropy (MaxEnt) framework. Generalized MaxEnt aims to find a distribution that max...
189
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...