3082 search results - page 502 / 617 » New Bounds for the Controller Problem |
144
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
155
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
162
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a new, statistical approach to rule learning. Doing so, we address two of the problems inherent in traditional rule learning: The computational hardness of finding rule...
159
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
As part of a comparative ethnographic study of everyday life of young professionals in London, Los Angeles, and Tokyo, we conducted a detailed survey of wallets and their contents...
133
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
XML is becoming the universal format for data exchange between applications. Recently, the emergence of Web services as standard means of publishing and accessing data on the Web ...