24529 search results - page 641 / 4906 » Computing on Authenticated Data |
184
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
- This work presents the development of a brain computer interface as an alternative communication channel to be used in Robotics. It encompasses the implementation of an electroen...
245
click to vote
KR
2010
Springer
15 years 5 months ago
2010
Springer
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
197
click to vote
FPL
2009
Springer
15 years 5 months ago
2009
Springer
In this article, we introduce the ongoing research in modeling and mapping for heterogeneous, customizable, parallel systems, as part of the effort in the newly established Center...
194
Voted
CAP
2010
15 years 2 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
249
click to vote
JDCTA
2010
15 years 2 months ago
2010
Granular Computing (GrC), a knowledge-oriented computing which covers the theory of fuzzy information granularity, rough set theory, the theory of quotient space and interval comp...