1620 search results - page 269 / 324 » Testing Polymorphic Properties |
131
click to vote
DIS
2010
Springer
15 years 16 days ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
126
click to vote
EKAW
2010
Springer
15 years 16 days ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
137
Voted
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
We prove that fixed-point logic with counting captures polynomial time on all classes of graphs with excluded minors. That is, for every class C of graphs such that some graph H is...
133
Voted
MICCAI
2010
Springer
15 years 12 days ago
2010
Springer
From the image analysis perspective, a disadvantage of MRI is the lack of image intensity standardization. Differences in coil sensitivity, pulse sequence and acquisition parameter...
153
Voted
PKDD
2010
Springer
15 years 12 days ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...