511 search results - page 36 / 103 » Spelling Correction Using Context |
85
Voted
AIPS
1996
15 years 1 months ago
1996
Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...
107
click to vote
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
125
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
96
Voted
IQ
2001
15 years 2 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
104
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...