2713 search results - page 532 / 543 » Parameterized Tree Systems |
141
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The basic networking unit in Bluetooth is piconet, and a larger-area Bluetooth network can be formed by multiple piconets, called scatternet. However, the structure of scatternets...
125
Voted
INFOVIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The Informedia Digital Video Library user interface summarizes query results with a collage of representative keyframes. We present a user study in which keyframe occlusion caused...
123
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The pre-computation of data cubes is critical to improving the response time of On-Line Analytical Processing (OLAP) systems and can be instrumental in accelerating data mining tas...
141
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
152
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...