2223 search results - page 399 / 445 » Multimedia structuring using trees |
126
click to vote
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
113
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
117
click to vote
SSDBM
2006
IEEE
15 years 6 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
102
Voted
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
88
Voted
FCCM
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we introduce a novel architecture for a hardware based network intrusion detection system (NIDS). NIDSs are becoming critical components of the network infrastructu...