2841 search results - page 97 / 569 » A Call to Order |
171
click to vote
EWCBR
1998
Springer
15 years 10 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...
146
click to vote
ICTAI
1994
IEEE
15 years 10 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 ...
155
click to vote
CAV
1994
Springer
15 years 10 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...
229
click to vote
EUROCRYPT
1993
Springer
15 years 10 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...
185
click to vote
ICCTA
2007
IEEE
15 years 10 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...