1330 search results - page 70 / 266 » No Classic Boundary Conditions |
DEXAW
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
124
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
113
Voted
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
102
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
CW
2002
IEEE
15 years 5 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...