Sciweavers

3868 search results - page 221 / 774
» Open Systems in TLA
Sort
View
LOGCOM
2006
58views more  LOGCOM 2006»
15 years 7 months ago
Proof Theory for Casari's Comparative Logics
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
George Metcalfe
ENTCS
2011
105views more  ENTCS 2011»
15 years 2 months ago
Bridges from Language to Logic: Concepts, Contexts and Ontologies
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
Valeria de Paiva
MOBIHOC
2009
ACM
16 years 7 months ago
Demonstration of highly programmable downlink OFDMA (WiMax) transceivers for SDR systems
In this paper, we present the architecture of a highly configurable multi-input multi?output (MIMO) orthogonal frequency division multiple access (OFDMA) platform. The platform is...
Hamid Eslami, Gaurav Patel, Chitaranjan P. Sukumar...
ERLANG
2006
ACM
16 years 1 months ago
Evaluation of database management systems for Erlang
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
Emil Hellman
AICT
2005
IEEE
117views Communications» more  AICT 2005»
16 years 25 days ago
Managing Pi-resources in 4G Wireless Systems: The Opportunistic Way
Integration of different radio access networks will become a reality in a near future. Our interworking architecture assumes a ubiquitous primary network (the cellular one) and se...
Pedro Sobral, Luis Bernardo, Paulo Pinto