3758 search results - page 373 / 752 » A Complete Subsumption Algorithm |
249
click to vote
RR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
188
click to vote
SARA
2007
Springer
16 years 25 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
278
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
The BTnode platform is a versatile and flexible platform for functional prototyping of ad hoc and sensor networks. Based on an Atmel microcontroller, a Bluetooth radio and a low-...
144
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we present an extension to existing approaches that capture and exploit timing-correlation between tasks for scheduling analysis in distributed systems. Previous ap...
131
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an RSA hardware design that simultaneously achieves high-performance and lowpower. A bit-oriented, split modular multiplication algorithm and architecture are ...