4814 search results - page 354 / 963 » Combining abstract interpreters |
163
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
175
click to vote
COMPLIFE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
155
click to vote
DIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
166
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
171
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...