4150 search results - page 556 / 830 » A Practical Approach to Model Extension |
129
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
148
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
143
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
We propose an approach for non-rigid tracking that represents objects by their set of distribution parameters. Compared to joint histogram representations, a set of parameters suc...
137
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
151
click to vote
IPMI
1999
Springer
16 years 5 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...