373 search results - page 35 / 75 » Synthesis of Trigger Properties |
122
click to vote
BC
2005
15 years 3 months ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
180
click to vote
TOG
2012
13 years 5 months ago
2012
Current methods for combining two different images produce visible artifacts when the sources have very different textures and structures. We present a new method for synthesizing...
107
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
119
click to vote
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
122
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...