4103 search results - page 173 / 821 » Some results on the Collatz problem |
151
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
189
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In some application domains, such as medical imaging, the objects that compose the scene are known as well as some of their properties and their spatial arrangement. We can take ad...
158
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
141
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
In this work, our primary focus is to determine the intersections that exist between the family of QL-implications and the families of (S, N)- and R-implications. Toward this end,...
185
click to vote
NIPS
2007
15 years 8 months ago
2007
Semi-supervised methods use unlabeled data in addition to labeled data to construct predictors. While existing semi-supervised methods have shown some promising empirical performa...