2517 search results - page 54 / 504 » Specifying Weak Sets |
101
click to vote
IJCAI
1989
15 years 1 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
JSCIC
2008
14 years 11 months ago
2008
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
BSL
2005
14 years 11 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
101
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
FORTE
2000
15 years 1 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...