15777 search results - page 2811 / 3156 » Engineering in Software |
131
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Given a graph G=(V, E) on n vertices, the MAXIMUM r-REGULAR INDUCED SUBGRAPH (M-r-RIS) problems ask for a maximum sized subset of vertices R V such that the induced subgraph on R,...
196
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
In this paper two methods for human face recognition and the influence of location mistakes are shown. First one, Principal Components Analysis (PCA), has been one of the most appl...
162
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
122
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
158
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...