Sciweavers

1631 search results - page 217 / 327
» Extreme Programming - Back to Basics
Sort
View
ICMCS
2007
IEEE
183views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Web Page Segmentation Based on Gestalt Theory
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
Peifeng Xiang, Xin Yang, Yuanchun Shi
ACCV
2007
Springer
14 years 4 months ago
Multi-posture Human Detection in Video Frames by Motion Contour Matching
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
Qixiang Ye, Jianbin Jiao, Hua Yu
ICALP
2007
Springer
14 years 4 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
RR
2007
Springer
14 years 4 months ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
SSS
2007
Springer
14 years 4 months ago
Self-stabilization and Virtual Node Layer Emulations
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
Tina Nolte, Nancy A. Lynch