4485 search results - page 281 / 897 » Equivalences on Observable Processes |
155
click to vote
SSIAI
2002
IEEE
15 years 9 months ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...
ITC
2000
IEEE
15 years 9 months ago
2000
IEEE
An area efficient and robust integrated test core for mixed-signal circuits is described. The core consists of a completely digital implementation, except for a simple reconstructi...
140
click to vote
SIGIR
2000
ACM
15 years 9 months ago
2000
ACM
The TREC-8 Question Answering (QA) Track was the first large-scale evaluation of domain-independent question answering systems. In addition to fostering research on the QA task, ...
147
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
133
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...