Sciweavers

4695 search results - page 549 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
KCAP
2003
ACM
16 years 26 days ago
Learning programs from traces using version space algebra
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
UIST
2009
ACM
16 years 2 months ago
ARC-Pad: absolute+relative cursor positioning for large displays with a mobile touchscreen
We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone’s touchscreen. In ARC-Pad we combine absolute and...
David C. McCallum, Pourang Irani
UIST
1996
ACM
15 years 11 months ago
FOCUS: The Interactive Table for Product Comparison and Selection
FOCUS, the Feature-Oriented Catalog USer interface, is an interactive table viewer for a common kind of table, namely the object-attribute table, also called cases-by-attribute ta...
Michael Spenke, Christian Beilken, Thomas Berlage
HASE
2008
IEEE
15 years 7 months ago
Randomization Based Probabilistic Approach to Detect Trojan Circuits
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
Susmit Jha, Sumit Kumar Jha
EMSOFT
2010
Springer
15 years 5 months ago
Load-based schedulability analysis of certifiable mixed-criticality systems
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
Haohan Li, Sanjoy K. Baruah