Sciweavers

1998 search results - page 173 / 400
» Situated Control Rules
Sort
View
ACL
2010
15 years 2 months ago
Complexity Assumptions in Ontology Verbalisation
We describe the strategy currently pursued for verbalising OWL ontologies by sentences in Controlled Natural Language (i.e., combining generic rules for realising logical patterns...
Richard Power
TWC
2010
14 years 11 months ago
A novel CAC scheme for homogeneous 802.11 networks
This paper proposes a new call admission control (CAC) scheme for one-hop homogeneous 802.11 DCF networks. Using the proposed scheme, we can perform admission control quickly and e...
Qinglin Zhao, Danny H. K. Tsang, Taka Sakurai
FROCOS
2011
Springer
14 years 4 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
ICPR
2002
IEEE
16 years 5 months ago
Integrated Event Recognition from Multiple Sources
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
Hiroaki Kawashima, Takashi Matsuyama
GLOBECOM
2007
IEEE
15 years 11 months ago
Cooperative Spectrum Sensing and Detection for Cognitive Radio
—One of the main requirements of cognitive radio systems is the ability to reliably detect the presence of licensed primary transmissions. Previous works on the problem of detect...
Jayakrishnan Unnikrishnan, Venugopal V. Veeravalli