2586 search results - page 158 / 518 » Automatic Abstraction for Congruences |
82
Voted
APWEB
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. A new web content structure based on visual representation is proposed in this paper. Many web applications such as information retrieval, information extraction and auto...
AVBPA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In video surveillance, the faces of interest are often of small size. Image resolution is an important factor affecting face recognition by human and computer. In this pa...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
FASE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained ...
111
click to vote
ACIVS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...