21430 search results - page 3764 / 4286 » Abstract Effective Models |
189
Voted
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— Process variations make at-speed testing significantly more difficult. They cause subtle delay changes that are distributed rather than the localized nature of a trad...
166
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
179
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
169
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
165
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...