526 search results - page 61 / 106 » Towards the Verifying Compiler |
ICCAD
2004
IEEE
15 years 6 months ago
2004
IEEE
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
IDEAL
2004
Springer
15 years 3 months ago
2004
Springer
It is indispensable that the users surfing on the Internet could have web pages classified into a given topic as correct as possible. Toward this ends, this paper presents a topic-...
KR
2004
Springer
15 years 3 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...