4930 search results - page 624 / 986 » Testing a Safety-Critical Application |
200
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a linear combination of the input variables while constraining the number of nonze...
168
click to vote
JAR
2006
15 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
211
Voted
JRTIP
2008
15 years 6 months ago
2008
Abstract In recent years, automatic human action recognition has been widely researched within the computer vision and image processing communities. Here we propose a realtime, emb...
209
Voted
JCM
2006
15 years 6 months ago
2006
Wireless sensor networks are widely adopted in many location-sensitive applications including disaster management, environmental monitoring, military applications where the precise...
204
Voted
JFP
2006
15 years 6 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...