1205 search results - page 147 / 241 » Program Extraction from Large Proof Developments |
115
Voted
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with respectively nA and nB vertices. We define a nA × nB...
150
Voted
IMSCCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Background: As more and more genomes are sequenced, comparative genomics approaches provide a methodology for identifying conserved regulatory elements that may be involved in gen...
123
click to vote
CAD
2008
Springer
15 years 1 months ago
2008
Springer
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
— Complex ad hoc join queries over enterprise databases are commonly used by business data analysts to understand and analyze a variety of enterprise-wide processes. However, eff...
116
click to vote
IWPC
2008
IEEE
15 years 7 months ago
2008
IEEE
The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control syst...