1999 search results - page 323 / 400 » Dependently Typed Grammars |
165
click to vote
AIL
2004
15 years 6 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
149
click to vote
TWC
2008
15 years 6 months ago
2008
The study of the class of new spatial multiplexing architectures (SMAs) is continued. As introduced in Part I of this paper, the SMAs consist of joint design of rate and power all...
159
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper, we investigate the application of nonbinary low-density parity-check (LDPC) cycle codes over Galois field GF(q) to multiple-input multiple-output (MIMO) channels. Tw...
189
click to vote
COMCOM
2004
15 years 6 months ago
2004
A flexible bandwidth management scheme namely Bandwidth-based Polling (BBP) for Bluetooth is proposed. A framing structure of time is defined in BBP, and the master allocates prop...
142
click to vote
AROBOTS
2000
15 years 6 months ago
2000
As research expands in multiagent intelligent systems, investigators need new tools for evaluating the artificial societies they study. It is impossible, for example, to correlate ...