2623 search results - page 394 / 525 » Conceptual Application Domain Modelling |
163
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
155
click to vote
AAAI
2012
13 years 6 months ago
2012
The presence of non-symmetric evidence has been a barrier for the application of lifted inference since the evidence destroys the symmetry of the first-order probabilistic model....
116
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
131
click to vote
LOGCOM
2000
15 years 3 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
130
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
In this paper, we present a shape recovery technique in 2 0 and 3 0 with specific applications in visualizing and measuring anatomical shapes from medical images. This algorithm m...