823 search results - page 68 / 165 » Stateful Subset Cover |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
NPAR
2010
ACM
13 years 10 months ago
2010
ACM
The field of non-photorealistic rendering is reaching a mature state. In its infancy, researchers explored the mimicry of methods and tools used by traditional artists to generate...
Publication
Location discovery is a fundamental problem in wireless ad hoc networks. Most of the ad hoc routing protocols use some form of flooding to discover the location and route of a mobi...
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
POPL
1999
ACM
14 years 2 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...