271 search results - page 39 / 55 » Identifying Optimal Sequential Decisions |
ICCD
2001
IEEE
14 years 7 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
DBSEC
2010
13 years 10 months ago
2010
Abstract. Majority of the search algorithms in microdata anonymization restrict themselves to a single privacy property and a single criteria to optimize. The solutions obtained ar...
AAAI
2010
13 years 9 months ago
2010
Most frameworks for utility elicitation assume a predefined set of features over which user preferences are expressed. We consider utility elicitation in the presence of subjecti...
IOR
2011
13 years 5 months ago
2011
This paper introduces and studies the maximum k-plex problem, which arises in social network analysis and has wider applicability in several important areas employing graph-based ...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Optimizing SQL subqueries has been an active area in database research and the database industry throughout the last decades. Previous work has already identified some approaches ...