8874 search results - page 1562 / 1775 » A New Implementation of Automath |
205
click to vote
WSC
2004
15 years 8 months ago
2004
Air traffic flow management (TFM) is a set of processes and procedures which seek to balance the demand for airspace resources with the capacity of these resources. Examples of re...
177
click to vote
NAACL
2003
15 years 8 months ago
2003
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...
200
click to vote
USENIX
2003
15 years 8 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
231
click to vote
FIW
1998
15 years 8 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
180
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract - The Internet appears to playing a role in the restructuring of some traditional business sectors in which some organisations profit and some decline. Travel agencies are...