2517 search results - page 54 / 504 » Specifying Weak Sets |
150
click to vote
IJCAI
1989
15 years 6 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...
124
click to vote
JSCIC
2008
15 years 5 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...
119
click to vote
BSL
2005
15 years 5 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 ...
164
click to vote
COORDINATION
2006
Springer
15 years 8 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...
136
click to vote
FORTE
2000
15 years 6 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 ...