4345 search results - page 116 / 869 » Temporal Constraint Networks |
133
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
115
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
179
Voted
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a method for estimating the pose of a human body using its approximate 3D volume (visual hull) obtained in real time from synchronized videos. Our method can cope with ...
122
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms and splogs corrupt blog search results as well as waste netw...
123
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...