4485 search results - page 281 / 897 » Equivalences on Observable Processes |
186
click to vote
SSIAI
2002
IEEE
15 years 11 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 ...
128
click to vote
ITC
2000
IEEE
15 years 11 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...
183
click to vote
SIGIR
2000
ACM
15 years 11 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, ...
173
Voted
CSL
1999
Springer
15 years 11 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...
179
Voted
CARDIS
1998
Springer
15 years 11 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...