1492 search results - page 250 / 299 » Testing Properties of Constraint-Graphs |
133
Voted
EKAW
2010
Springer
15 years 1 months 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...
142
Voted
LICS
2010
IEEE
15 years 1 months 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...
138
Voted
MICCAI
2010
Springer
15 years 1 months 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...
161
Voted
PKDD
2010
Springer
15 years 1 months 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...
112
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...