1071 search results - page 120 / 215 » Programming with enumerable sets of structures |
111
click to vote
VRML
2000
ACM
15 years 5 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
84
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: Contact order is a topological descriptor that has been shown to be correlated with several interesting protein properties such as protein folding rates and protein tr...
182
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
113
click to vote
JAR
2000
15 years 12 days ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
228
Voted
STOC
2003
ACM
16 years 28 days ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...