2932 search results - page 330 / 587 » Higher order mining |
165
Voted
ECSQARU
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
139
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
170
click to vote
EVOW
2001
Springer
15 years 10 months ago
2001
Springer
Augmenting an existing network with additional links to achieve higher robustness and survivability plays an important role in network design. We consider the problem of augmenting...
161
click to vote
FASE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
190
click to vote
LSSC
2001
Springer
15 years 10 months ago
2001
Springer
A Boundary Integral Method (BIM) for simulation of foam formation and dynamics in viscous flows is presented. The main features of the numerical method are: Nonsingular contour in...