1578 search results - page 21 / 316 » Induction of Stable Models |
141
Voted
CG
2005
Springer
15 years 2 months ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
104
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
121
Voted
DOOD
1995
Springer
15 years 6 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
97
Voted
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE