2713 search results - page 315 / 543 » Parameterized Tree Systems |
173
click to vote
SIPS
2007
IEEE
16 years 25 days ago
2007
IEEE
: - Suboptimal detectors of multiple-input multiple-output (MIMO) have been studied because the implementation of the optimum detector, the maximum-likelihood (ML) detector, has so...
188
click to vote
CICLING
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
178
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
170
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
154
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
To expand the Scalable Coherent Interface's (SCI) capabilities so it can be used to efficiently handle sharing in systems of hundreds or even thousands of processors, the SCI...