11395 search results - page 1980 / 2279 » Beyond computer science |
182
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
d Abstract) Noga Alon∗ Fedor V. Fomin† Gregory Gutin‡ Michael Krivelevich§ Saket Saurabh¶ We prove that finding a rooted subtree with at least k leaves in a directed grap...
178
click to vote
ICMI
2007
Springer
16 years 26 days ago
2007
Springer
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
217
click to vote
IFM
2007
Springer
16 years 26 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
229
click to vote
ILP
2007
Springer
16 years 26 days ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
172
click to vote
KSEM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...