657 search results - page 26 / 132 » Modeling Dynamic Domains with ConGolog |
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we focus on the use of three different techniques that support automatic derivation of video content from raw video data, namely, a spatio-temporal rule-based metho...
TACS
2001
Springer
14 years 3 days ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Many computer vision applications have to cope with large dynamic range and changing illumination conditions in the environment. Any attempt to deal with these conditions at the a...
JCM
2006
13 years 7 months ago
2006
Heterogeneous subscriber base with wide range of wireless services makes the wireless service market more challenging for a service provider (SP). This challenge is related to the ...
IDA
1999
Springer
13 years 12 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...