1242 search results - page 207 / 249 » The Theory of Grammar Constraints |
141
click to vote
COMPGEOM
2008
ACM
15 years 2 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
119
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
100
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
ACL
2007
15 years 2 months ago
2007
Human categorization is neither a binary nor a context-free process. Rather, some concepts are better examples of a category than others, while the criteria for category membershi...
109
Voted
IJCAI
2007
15 years 2 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...