2089 search results - page 241 / 418 » A New Problem in String Searching |
167
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
244
Voted
ICDE
2001
IEEE
16 years 4 months ago
2001
IEEE
Data mining has been an area of increasing interests during recent years. The association rule discovery problem in particular has been widely studied. However, there are still so...
129
click to vote
APPT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
111
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The artificial immune system approach for self-nonself discrimination and its application to anomaly detection problems in engineering is showing great promise. A seminal contribu...
116
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
—Many vision-based navigation systems are restricted to the use of only a limited number of landmarks when computing the camera pose. This limitation is due to the overhead of de...