230 search results - page 26 / 46 » Constraint Orbital Branching |
123
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
112
Voted
CSCLP
2006
Springer
15 years 5 months ago
2006
Springer
Real-life problems present several kinds of preferences. We focus on problems with both positive and negative preferences, that we call bipolar preference problems. Although seemin...
116
Voted
IJCAI
2003
15 years 3 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
130
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
145
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...