381 search results - page 47 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
FOIS
2006
15 years 2 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
137
click to vote
CIARP
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Region-based approaches have been proposed to computerassisted colorization problem, typically using shape similarity and topology relations between regions. Given a colo...
AI
2007
Springer
15 years 1 months ago
2007
Springer
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Abstract. We propose a novel approach to landmark-based medical image registration based on the geostatical method of Kriging prediction. Our method exploits the spatial statistica...
111
click to vote
SAC
2008
ACM
15 years 26 days ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...