Sciweavers

4280 search results - page 244 / 856
» Mechanisms for information elicitation
Sort
View
MKM
2007
Springer
16 years 22 days ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
WONS
2005
IEEE
16 years 5 days ago
Frequency Allocation for WLANs Using Graph Colouring Techniques
At present, no standard frequency allocation mechanism exists for Wireless LAN access points. In this article, we introduce a number of techniques based on graph colouring algorit...
Janne Riihijärvi, Marina Petrova, Petri M&aum...
IWQOS
2005
Springer
16 years 3 days ago
Implicit Flow QoS Signaling Using Semantic-Rich Context Tags
An important feature of future context-aware and adaptive networks would be the ability to provide QoS to user flows. Our approach enables end-hosts and other devices to expose an...
Roel Ocampo, Alex Galis, Hermann de Meer, Chris To...
156
Voted
KES
2005
Springer
16 years 3 days ago
Learning Within the BDI Framework: An Empirical Analysis
One of the limitations of the BDI (Belief-Desire-Intention) model is the lack of any explicit mechanisms within the architecture to be able to learn. In particular, BDI agents do n...
Toan Phung, Michael Winikoff, Lin Padgham
TABLEAUX
2005
Springer
16 years 2 days ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...