12084 search results - page 2147 / 2417 » Effect Systems with Subtyping |
145
Voted
MMB
1999
Springer
15 years 8 months ago
1999
Springer
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
145
click to vote
RAID
1999
Springer
15 years 8 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
166
Voted
VLDB
1999
ACM
15 years 8 months ago
1999
ACM
Recent high-performance processors employ sophisticated techniques to overlap and simultaneously execute multiple computation and memory operations. Intuitively, these techniques ...
140
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
170
click to vote
PG
1997
IEEE
15 years 8 months ago
1997
IEEE
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....