2647 search results - page 362 / 530 » Solving Term Inequalities |
165
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
182
click to vote
ICWN
2008
15 years 7 months ago
2008
In our previous work, a highly scalable and faulttolerant network architecture, the Progressive Multi-hop Rotational Clustered (PMRC) structure, is proposed for constructing large...
158
click to vote
I3
2007
15 years 7 months ago
2007
An important aspect of Semantic Web technologies is the issue of identity and uniquely identifying resources, which is essential for integrating data across sources. Currently, th...
151
click to vote
ICMLA
2007
15 years 7 months ago
2007
Optimal Component Analysis (OCA) is a linear method for feature extraction and dimension reduction. It has been widely used in many applications such as face and object recognitio...
158
click to vote
IJCAI
2007
15 years 7 months ago
2007
Constraint Satisfaction Problems (CSPs) are ubiquitous in Artificial Intelligence. The backtrack algorithms that maintain some local consistency during search have become the de ...