Sciweavers

4629 search results - page 774 / 926
» Space Kernel Analysis
Sort
View
PCM
2005
Springer
107views Multimedia» more  PCM 2005»
16 years 14 days ago
Auto-summarization of Multimedia Meeting Records Based on Accessing Log
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
Weisheng He, Yuanchun Shi, Xin Xiao
159
Voted
PROFES
2005
Springer
16 years 14 days ago
Mega Software Engineering
Abstract. In various fields of computer science, rapidly growing hardware power, such as high-speed network, high-performance CPU, huge disk capacity, and large memory space, has ...
Katsuro Inoue, Pankaj K. Garg, Hajimu Iida, Ken-ic...
RE
2005
Springer
16 years 14 days ago
Multi-Dimensional Separation of Concerns in Requirements Engineering
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
Ana Moreira, Awais Rashid, João Araú...
VLDB
2005
ACM
129views Database» more  VLDB 2005»
16 years 13 days ago
Sketching Streams Through the Net: Distributed Approximate Query Tracking
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
Graham Cormode, Minos N. Garofalakis
174
Voted
VMCAI
2005
Springer
16 years 13 days ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li