478 search results - page 11 / 96 » Knowledge modeling directed by situation-specific models |
ISCI
2008
14 years 9 months ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...
MSWIM
2009
ACM
15 years 4 months ago
2009
ACM
The unlicensed 60 GHz band brings the promise of multi-gigabit data rates to support new applications such as high definition video over wireless links. Signal propagation in the...
AAAI
2008
14 years 12 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
This paper presents a novel scheme for locating multiple light sources and estimating their intensities from a pair of stereo images of a sphere. No prior knowledge of the location...
119
click to vote
VLSID
2010
IEEE
14 years 7 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...