1941 search results - page 38 / 389 » DNA Computing Approach to Construction of Semantic Model |
FM
2003
Springer
15 years 5 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
NIPS
2001
15 years 1 months ago
2001
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...
112
click to vote
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
102
click to vote
EMMCVPR
2009
Springer
15 years 6 months ago
2009
Springer
Generative kernels represent theoretically grounded tools able to increase the capabilities of generative classification through a discriminative setting. Fisher Kernel is the fi...
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we describe a hybrid approach to improving semantic extraction from news video. Experiments show the value of careful parameter tuning, exploiting multiple feature s...