1998 search results - page 287 / 400 » Complexity of the Cover Polynomial |
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
125
click to vote
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
93
Voted
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
103
Voted
HIPEAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
AFRIGRAPH
2004
ACM
15 years 6 months ago
2004
ACM
We present a technique for capturing the extreme dynamic range of natural illumination environments that include the sun and sky, which has presented a challenge for traditional h...