5387 search results - page 705 / 1078 » Generating generic functions |
192
Voted
PCM
2004
Springer
16 years 24 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...
204
Voted
PPDP
2004
Springer
16 years 24 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...
165
click to vote
TACAS
2004
Springer
16 years 24 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...
173
Voted
ASAP
2003
IEEE
16 years 23 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...
193
click to vote
CA
2003
IEEE
16 years 23 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 ...