4498 search results - page 135 / 900 » How to Invent Functions |
TPHOL
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
ICDCSW
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents our approach to inferring communities on the Web. It delineates the sub-culture hierarchies based on how individuals get involved in the dispersion of online o...
HICSS
1994
IEEE
14 years 1 months ago
1994
IEEE
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
IICAI
2003
13 years 11 months ago
2003
We propose a frame structure that is augmented with belief functions to model knowledge in a spoken dialog system. In addition we propose methods to combine belief functions in the...
FSE
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. JH, designed by Wu, is one of the 14 second round candidates in the NIST Hash Competition. This paper presents the first analysis results of JH by using rebound attack. ...