7820 search results - page 1463 / 1564 » Formalization of Time and Space |
211
click to vote
TMI
2011
15 years 1 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
177
click to vote
LOGCOM
2010
15 years 1 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
192
click to vote
TSMC
2010
15 years 29 days ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
152
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Many applications, including provenance and some analyses of social networks, require path-based queries over graphstructured data. When these graphs contain sensitive information...
181
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...