Sciweavers

966 search results - page 123 / 194
» Evaluation of Linguistics-Based Translation
Sort
View
MPC
2004
Springer
109views Mathematics» more  MPC 2004»
15 years 11 months ago
Optimizing Generic Functions
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
Artem Alimarine, Sjaak Smetsers
SDMW
2004
Springer
15 years 11 months ago
Using Secret Sharing for Searching in Encrypted Data
When outsourcing data to an untrusted database server, the data should be encrypted. When using thin clients or low-bandwidth networks it is best to perform most of the work at the...
Richard Brinkman, Jeroen Doumen, Willem Jonker
ICDCS
2003
IEEE
15 years 11 months ago
Partial Lookup Service
Lookup services are used in many Internet applications to translate a key (e.g., a file name) into an associated set of entries (e.g., the location of file copies). The key look...
Qixiang Sun, Hector Garcia-Molina
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
15 years 11 months ago
Design and control of a novel 4-DOFs parallel robot H4
This paper deals with the design and dynamic control simulation of a new type of 4-DOFs parallel mechanism providing 3 translations and 1 rotation for highspeed handling and machi...
H. B. Choi, Olivier Company, François Pierr...
TPHOL
2003
IEEE
15 years 11 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd