190 search results - page 20 / 38 » Isomorph-Free Exhaustive Generation |
130
click to vote
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
106
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
128
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Recently, opportunistic routing (OR) has been widely used to compensate for the low packet delivery ratio of multi-hop wireless networks. Previous works either provide heuristic...
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Spelling errors when typing a URL can be exploited by website-squatters: users are led to phony sites in a phenomenon we call parasitic URL naming. These phony sites im...
108
click to vote
ISM
2008
IEEE
15 years 8 months ago
2008
IEEE
Cover song detection is becoming a very hot research topic when plentiful personal music recordings or performance are released on the Internet. A nice cover song recognizer helps...