738 search results - page 40 / 148 » cases 2001 |
ICCBR
2001
Springer
15 years 2 months ago
2001
Springer
For dynamic sales dialogs in electronic commerce scenarios, approaches based on an information gain measure used for attribute selection have been suggested. These measures conside...
INDOCRYPT
2001
Springer
15 years 2 months ago
2001
Springer
We present an algorithm for generating elliptic curves of prime order over Optimal Extension Fields suitable for use in cryptography. The algorithm is based on the theory of Comple...
EHCI
2001
14 years 11 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
80
Voted
SODA
2001
ACM
14 years 11 months ago
2001
ACM
We provide improved approximation algorithms for several rectangle tiling and packing problems (RTILE, DRTILE and d-RPACK) studied in the literature. Our algorithms are highly eff...
TC
2008
14 years 9 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...