Sciweavers

4767 search results - page 19 / 954
» Moving between Contexts
Sort
View
PSIVT
2009
Springer
105views Multimedia» more  PSIVT 2009»
14 years 1 months ago
A New Method for Moving Object Extraction and Tracking Based on the Exclusive Block Matching
Abstract. Robust object tracking is required by many vision applications, and it will be useful for the motion analysis of moving object if we can not only track the object, but al...
Zhu Li, Kenichi Yabuta, Hitoshi Kitazawa
WCNC
2008
IEEE
14 years 2 months ago
Physical Carrier Sensing Outage in Single Hop IEEE 802.11 Ad Hoc Networks with Slowly Moving Stations
—Physical Carrier Sensing plays a crucial role in the effectiveness of CSMA-based MAC protocols, yet its properties and impact on the system performance under slow fading channel...
Jin Sheng, Kenneth S. Vastola
CICLING
2007
Springer
14 years 2 months ago
Expert vs. Non-expert Tutoring: Dialogue Moves, Interaction Patterns and Multi-utterance Turns
Abstract. Studies of one-on-one tutoring have found that expert tutoring is more effective than non-expert tutoring, but the reasons for its effectiveness are relatively unexplor...
Xin Lu, Barbara Di Eugenio, Trina C. Kershaw, Stel...
COMPUTING
2004
107views more  COMPUTING 2004»
13 years 8 months ago
Efficient Collision Detection for Moving Ellipsoids Using Separating Planes
We present a simple, accurate and efficient algorithm for collision detection among moving ellipsoids. Its efficiency is attributed to two results: (i) a simple algebraic test for...
Wenping Wang, Yi-King Choi, Bin Chan, Myung-Soo Ki...
JAR
2008
101views more  JAR 2008»
13 years 8 months ago
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
Laurence Rideau, Bernard P. Serpette, Xavier Leroy