754 search results - page 85 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
162
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
141
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
In the design of complex power distribution networks (PDN) with multiple power islands, it is required that the PDN represents a low impedance as seen by the digital modules. This...
106
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
154
click to vote
AAAI
2007
15 years 6 months ago
2007
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
123
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...