6020 search results - page 44 / 1204 » A New Approach to Model Counting |
125
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...
TCS
2002
15 years 1 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...
138
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...
121
click to vote
JCS
2010
15 years 12 days ago
2010
Phishing emails usually contain a message from a credible looking source requesting a user to click a link to a website where she/he is asked to enter a password or other confide...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Although layered streaming in heterogeneous peer-to-peer networks has drawn great interest in recent years, there’s still a lack of systematical studies on its data scheduling...