4413 search results - page 19 / 883 » New Directions for CACM |
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
Motivated by the fact that in images, there is usually a presence of local strongly oriented harmonics, a representation which is both well-localised in frequency and orientation ...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
PPDP
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
ICIDS
2009
Springer
14 years 3 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...