5230 search results - page 917 / 1046 » Engineering of Computer Vision Algorithms Using Evolutionary... |
109
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Building artificial systems using self-assembly is one of the main issues of artificial life [17]. Scientists are trying to understand this process either using experimental appro...
113
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
103
Voted
EVOW
2010
Springer
15 years 5 months ago
2010
Springer
A challenging problem in bioinformatics is the detection of residues that account for protein function specificity, not only in order to gain deeper insight in the nature of functi...
102
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...
104
Voted
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we evaluate a solution based on the preemption mechanism so as to improve performances of distributed Multi-Protocol Label Switching-Traffic Engineering (MPLS-T...