Sciweavers

3663 search results - page 152 / 733
» Problems in the ontology of computer programs
Sort
View
CHI
2005
ACM
15 years 10 months ago
End user programming and context responsiveness in handheld prompting systems for persons with cognitive disabilities and caregi
Providing instructions via handheld prompters holds much promise for supporting independence for persons with cognitive disabilities. Because users of these tools are paired ? car...
Stefan Carmien
CVPR
2003
IEEE
16 years 2 days ago
Simultaneous Feature Selection and Classifier Training via Linear Programming: A Case Study for Face Expression Recognition
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...
Guodong Guo, Charles R. Dyer
ICPPW
2005
IEEE
15 years 3 months ago
Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
Sabri Pllana, Thomas Fahringer
SPC
2005
Springer
15 years 3 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
ICIC
2009
Springer
15 years 4 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu