4345 search results - page 170 / 869 » Temporal Constraint Networks |
157
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
206
Voted
MMM
2005
Springer
15 years 10 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
148
click to vote
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
161
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
140
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
An achievable rate region for line networks with edge and node capacity constraints and broadcasting is derived. The region is the capacity region if the broadcast channels are ort...