2846 search results - page 49 / 570 » Believe it or Not |
159
click to vote
MKM
2007
Springer
16 years 5 days ago
2007
Springer
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 ...
131
click to vote
SEMWEB
2007
Springer
16 years 4 days ago
2007
Springer
The reasons for the lack of uptake of the semantic web amongst ordinary users can be attributed to technology perception, comprehensibility and ease of use. To address these three ...
132
click to vote
INFOCOM
2006
IEEE
16 years 2 days ago
2006
IEEE
—In this paper, we propose a link-directionality-based dual channel MAC protocol in an attempt to double the capacities of networks using the single-channel 802.11 protocol. Simu...
289
click to vote
ACOM
2006
Springer
16 years 1 days ago
2006
Springer
Abstract. This paper considers the combination of agent communication and ontology alignment within a group of heterogeneous agents. The agents align their ontologies by constructi...
178
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents an infrastructure to test the functionality of the specific architectures output by a highlevel compiler targeting dynamically reconfigurable hardware. It resu...