8874 search results - page 323 / 1775 » A New Implementation of Automath |
174
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
New symmetries of degree two are introduced, along with spectral techniques for identifying these symmetries. Some applications of these symmetries are discussed, in particular th...
167
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
157
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
130
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
A new learning center has been designed and implemented based on extensive benchmarking and innovative design concepts. The design focused on computer-facilitated active learning ...
191
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...