6020 search results - page 1148 / 1204 » A New Approach to Model Counting |
150
click to vote
JGAA
2006
15 years 4 months ago
2006
Visualization of circuits is an important research area in electronic design automation. One commonly accepted method to visualize a circuit aligns the gates to layers and uses or...
171
Voted
JPDC
2006
15 years 4 months ago
2006
This paper presents a new spectral template-matching approach to countering shrew distributed denial-of-service (DDoS) attacks. These attacks are stealthy, periodic, pulsing, and ...
124
Voted
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Most classification algorithms are best at categorizing the Web documents into a few categories, such as the top two levels in the Open Directory Project. Such a classification me...
148
click to vote
WS
2008
ACM
15 years 4 months ago
2008
ACM
Semantic Web applications share a large portion of development effort with database-driven Web applications. Existing approaches for development of these database-driven applicati...
161
click to vote
ALIFE
2002
15 years 4 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...