Sciweavers

465 search results - page 58 / 93
» Knowledge and the Problem of Logical Omniscience
Sort
View
DATE
2007
IEEE
92views Hardware» more  DATE 2007»
14 years 3 months ago
Overcoming glitches and dissipation timing skews in design of DPA-resistant cryptographic hardware
Cryptographic embedded systems are vulnerable to Differential Power Analysis (DPA) attacks. In this paper, we propose a logic design style, called as Precharge Masked Reed-Muller ...
Kuan Jen Lin, Shan Chien Fang, Shih Hsien Yang, Ch...
SEMWEB
2004
Springer
14 years 2 months ago
Query Answering for OWL-DL with Rules
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
Boris Motik, Ulrike Sattler, Rudi Studer
WWW
2005
ACM
14 years 9 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
TSMC
1998
139views more  TSMC 1998»
13 years 8 months ago
A neuro-fuzzy controller for mobile robot navigation and multirobot convoying
—A Neural integrated Fuzzy conTroller (NiF-T) which integrates the fuzzy logic representation of human knowledge with the learning capability of neural networks is developed for ...
Kim C. Ng, Mohan M. Trivedi
ICPP
2005
IEEE
14 years 2 months ago
Automatic Experimental Analysis of Communication Patterns in Virtual Topologies
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
Nikhil Bhatia, Fengguang Song, Felix Wolf, Jack Do...