1888 search results - page 175 / 378 » Proof theory and computational analysis |
165
Voted
TCAD
2010
14 years 7 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
105
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a unified image processing and analysis framework for cortical thickness in characterizing a clinical population. The emphasis is placed on the development of d...
113
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
109
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
A quality-time analysis of multi-objective evolutionary algorithms (MOEAs) based on schema theorem and building blocks hypothesis is developed. A bicriteria OneMax problem, a hypo...