1507 search results - page 272 / 302 » Separating Complexity Classes Using Structural Properties |
ENTCS
2007
14 years 11 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
ENTCS
2007
14 years 11 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
ALIFE
2000
14 years 11 months ago
2000
Army ant colonies display complex foraging raid patterns involving thousands of individuals communicating through chemical trails. In this article we explore, by means of a simple ...
94
Voted
CVPR
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, we address invariant keypoint-based texture characterization and recognition. Viewing keypoint sets associated with visual textures as realizations of point process...
MICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...