2632 search results - page 161 / 527 » Alternating Timed Automata |
170
click to vote
CSR
2010
Springer
15 years 9 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
246
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...
169
click to vote
AIIDE
2008
15 years 7 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
136
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Trail disclosure is the leakage of privacy sensitive data, resulting from negligence, attack or abusive scrutinization or usage of personal digital trails. To prevent trail disclo...
126
click to vote
AAAI
2010
15 years 6 months ago
2010
The current methods used to mine and analyze temporal social network data make two assumptions: all edges have the same strength, and all parameters are time-homogeneous. We show ...