2586 search results - page 64 / 518 » Automatic Abstraction for Congruences |
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...
IM
2007
14 years 11 months ago
2007
— Despite the automation in many domains, network management still requires a lot of manual interaction. With the ongoing rapid growth of the Internet and the number of connected...
SERP
2003
14 years 11 months ago
2003
Abstract New algorithms are constantly developed in search of better or faster results. Many variants of code are often tried while searching for the best solution. When the number...
WCET
2003
14 years 11 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
VMV
2000
14 years 11 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...