2586 search results - page 192 / 518 » Automatic Abstraction for Congruences |
148
click to vote
IDEAL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
166
click to vote
PPAM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Whole genome comparison compares (aligns) two genome sequences assuming that analogous characteristics may be found. In this paper, we present an SIMD version of the Smit...
162
click to vote
SAMT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Content based multimedia retrieval systems have been proposed to allow for automatic and efficient indexing and retrieval of the increasing amount of audiovisual data (im...
170
click to vote
SOFSEM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
163
click to vote
TGC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...