3020 search results - page 507 / 604 » Type Analysis of Prolog Using Type Graphs |
CANDC
2007
ACM
14 years 1 months ago
2007
ACM
In this paper, we present a qualitative case study of group creativity online in the domain of mathematics. We define creative work broadly, ranging from the micro-level coconstru...
DAC
2010
ACM
14 years 29 days ago
2010
ACM
The emerging three-dimensional integrated circuit (3D IC) is beneficial for various applications from both area and performance perspectives. While the general trend in processor...
SIGIR
2010
ACM
14 years 28 days ago
2010
ACM
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...
GLOBECOM
2009
IEEE
14 years 27 days ago
2009
IEEE
Abstract--Large-scale attacks like Distributed Denial-ofService (DDoS) attacks still pose unpredictable threats to the Internet infrastructure and Internet-based business. Thus, ma...
ACSAC
2004
IEEE
14 years 24 days ago
2004
IEEE
Log data adapted for intrusion detection is a little explored research issue despite its importance for successful and efficient detection of attacks and intrusions. This paper pr...