4850 search results - page 731 / 970 » Approximate Data Structures with Applications |
178
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
124
click to vote
ALMOB
2008
15 years 5 months ago
2008
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
145
Voted
RAS
2006
15 years 4 months ago
2006
In automatic guidance of agriculture vehicles, lateral control is not the only requirement. Much research work has been focused on trajectory tracking control which can provide hi...
148
Voted
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
145
Voted
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...