8025 search results - page 1503 / 1605 » Combinators Introduction: An Algorithm |
159
Voted
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
140
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
In this report, we give a brief explanation of how RiMOM obtains the results at OAEI 2009 Campaign, especially in the new Instance Matching track. At first, we show the basic alig...
159
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
160
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
153
click to vote
MOBICOM
2009
ACM
15 years 11 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...