4340 search results - page 787 / 868 » Formal Methods and Cryptography |
116
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
139
click to vote
PAMI
2010
15 years 2 months ago
2010
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...
160
click to vote
SAB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
155
click to vote
SCP
2010
15 years 2 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
124
click to vote
SIAMAM
2010
15 years 2 months ago
2010
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...