10916 search results - page 2085 / 2184 » On Constructive Connectives and Systems |
170
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
We will describe the outline of the cryptographic technology evaluation project in Japan and those present conditions. The purpose of this project is that the cyptographic technolo...
323
click to vote
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
15 years 10 months ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
168
click to vote
SMA
1999
ACM
15 years 10 months ago
1999
ACM
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
210
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
189
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...