2841 search results - page 97 / 569 » A Call to Order |
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we present our case-based browsing advisor for the Web, called BROADWAY. BROADWAY follows a group of users during their navigations and supports an indirect collabor...
ICTAI
1994
IEEE
15 years 2 months ago
1994
IEEE
In order to perform adequately in real-world situations, a planning system must be able to nd the \best" solution while still supporting anytime behavior. We have developed ...
CAV
1994
Springer
15 years 2 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
127
click to vote
EUROCRYPT
1993
Springer
15 years 2 months ago
1993
Springer
This work is motivated by the observation that in DES-like ciphexs it is possible to choose the round functions in such a way that every non-trivial one-round characteristic has sm...
105
click to vote
ICCTA
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper deals with a new distance measure for genes using their microarray expressions. The distance measure is called, "Maxrange distance", where an experiment speci...