2631 search results - page 264 / 527 » A Practical Method for the Sparse Resultant |
159
click to vote
CG
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. Post's correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solu...
217
click to vote
FMSD
2002
15 years 7 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
172
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a method for automatic color and intensity normalization of digitized histology slides stained with two different agents. In comparison to previous a...
185
click to vote
ACL
2010
15 years 5 months ago
2010
In hierarchical phrase-based SMT systems, statistical models are integrated to guide the hierarchical rule selection for better translation performance. Previous work mainly focus...
189
click to vote
DLOG
2010
15 years 5 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...