5387 search results - page 705 / 1078 » Generating generic functions |
184
click to vote
PCM
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we proposed a novel decision fusion scheme based on the psychological observations on human beings’ visual and aural attention characteristics, which combines a se...
179
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
151
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
162
click to vote
ASAP
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
164
click to vote
CA
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a method for animating and rendering an interactive natural scenery in real-time. It improves the prairie model of [11] by enabling the on-the-fly generation ...