3238 search results - page 209 / 648 » Multi-return function call |
LORI
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
CRYPTO
2001
Springer
14 years 21 days ago
2001
Springer
We initiate a study of on-line ciphers. These are ciphers that can take input plaintexts of large and varying lengths and will output the ith block of the ciphertext after having p...
NLPRS
2001
Springer
14 years 19 days ago
2001
Springer
In this paper, we propose a hierarchical phrase alignment method that aims to acquire translation knowledge. Previous methods utilize the correspondence of sub-trees between bilin...
SAGA
2001
Springer
14 years 19 days ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
VLDB
2001
ACM
14 years 19 days ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...