Sciweavers

4306 search results - page 554 / 862
» Timed Testing with TorX
Sort
View
ICTAI
2009
IEEE
15 years 11 months ago
Change Tracer: Tracking Changes in Web Ontologies
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
Asad Masood Khattak, Khalid Latif, Manhyung Han, S...
IROS
2009
IEEE
196views Robotics» more  IROS 2009»
15 years 11 months ago
Scene recognition with omnidirectional vision for topological map using lightweight adaptive descriptors
Abstract— Mobile robots rely on their ability of scene recognition to build a topological map of the environment and perform location-related tasks. In this paper, we describe a ...
Ming Liu, Davide Scaramuzza, Cédric Pradali...
COCO
2009
Springer
128views Algorithms» more  COCO 2009»
15 years 10 months ago
An Almost Optimal Rank Bound for Depth-3 Identities
—We show that the rank of a depth-3 circuit (over any field) that is simple, minimal and zero is at most O(k3 log d). The previous best rank bound known was 2O(k2 ) (log d)k−2...
Nitin Saxena, C. Seshadhri
COMPSAC
2008
IEEE
15 years 10 months ago
Implicit Social Network Model for Predicting and Tracking the Location of Faults
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
Ing-Xiang Chen, Cheng-Zen Yang, Ting-Kun Lu, Hojun...
DATE
2008
IEEE
100views Hardware» more  DATE 2008»
15 years 10 months ago
Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme
There have been serious concerns recently about the security of microchips from hardware trojan horse insertion during manufacturing. This issue has been raised recently due to ou...
Francis G. Wolff, Christos A. Papachristou, Swarup...