Sciweavers

3061 search results - page 367 / 613
» integration 2006
Sort
View
ISEM
2006
112views more  ISEM 2006»
15 years 6 months ago
Ubiquitous computing: connecting Pervasive computing through Semantic Web
Ubiquitous computing refers to building a global computing environment where seamless and invisible access to computing resources is provided to the user. Pervasive computing deal...
Sachin Singh, Sushil Puradkar, Yugyung Lee
IVC
2006
115views more  IVC 2006»
15 years 6 months ago
A motion-based scene tree for compressed video content management
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bounda...
Haoran Yi, Deepu Rajan, Liang-Tien Chia
IVC
2006
171views more  IVC 2006»
15 years 6 months ago
Motion detection and tracking using belief indicators for an automatic visual-surveillance system
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
Cina Motamed
IWC
2006
62views more  IWC 2006»
15 years 6 months ago
Clover: Connecting technology and character education using personally-constructed animated vignettes
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
Brian P. Bailey, Sharon Tettegah, Terry J. Bradley
JAR
2006
103views more  JAR 2006»
15 years 6 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan