Searching for "Computation Sequence Sets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

Lightweight defect localization for java
by Valentin Dallmeier, Christian Lindig, Andreas Zeller — 2005 — In Proceedings of the 19th European Conference on Object-Oriented Programming
… of the paper, we use P(T ) to denote the sequence set computed from T , not mentioning the fixed k explicitly…
Cited by 21 (4 self) – Add To MetaCart

Disturbance attenuation properties for discrete-time uncertain linear switched systems
by Hai Lin — 2003 — in Proceedings of the 42nd IEEE Conference on Decision and Control
… to the Problem 3 can be obtained by starting from the initial set X0(µ) and computing the sequence of sets ¯ P (k…
Cited by 7 (2 self) – Add To MetaCart

Model checking timed automata
by Sergio Yovine — 1998 — In European Educational Forum: School on Embedded Systems
…. Forward traversal. This method consists in computing the sequence of sets of representativesF0F1…
Cited by 50 (1 self) – Add To MetaCart

J.J.Ch.: Dynamic logic for plan revision in intelligent agents
by M. Birna Van Riemsdijk, Frank S. De Boer, M. Birna, Riemsdijk Frank, S. Boer, John-jules Ch. Meyer, John-jules Ch. Meyer — Computational logic in multiagent systems: fifth international workshop (CLIMA’04). Volume 3487 of LNAI. (2005) 16–32
… configuration. Definition 9 (computation sequences) The set Σ + of finite computation sequences is defined as {σ…
Cited by 1 (0 self) – Add To MetaCart

Planning via model checking: A decision procedure for AR
by Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso — 1997 — PROCEEDINGS OF ECP-97
… to compute the set of states resulting from the execution of a sequence of actions starting from a (partially…
Cited by 57 (16 self) – Add To MetaCart

Semantics of Plan Revision in Intelligent
by Agents Birna Van, M. Birna Van Riemsdijk, John-jules Ch. Meyer, Frank S. De Boer, M. Birna, Riemsdijk John-jules, Ch. Meyer, Frank S. Boer — 2004 — Theoretical Computer Science 351(2) (2006) 240–257 Special issue of Algebraic Methodology and Software Technology (AMAST’04
… the operational semantics. Definition 16. (computation sequences) The sets S + and S ∞ of respectively finite…
Add To MetaCart

Stability and Sequentiality in Dataflow Networks
by Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark — 1990 — Proceedings of ICALP’90, Lecture Notes in Computer Science 443
…" to be an equivalence class of computation sequences. The set of all computations of an automaton starting from…
Cited by 9 (2 self) – Add To MetaCart

Stability and Sequentiality in Dataflow Networks
by Prakash Panangaden Vasant, Vasant Shanbhogue, Eugene W. Stark — 1990 — Proceedings of ICALP’90, Lecture Notes in Computer Science 443
…, and we define a "computation" to be an equivalence class of computation sequences. The set of all…
Add To MetaCart

The Common Fragment of CTL and LTL
by Monika Maidl — 2000 — In IEEE Symposium on Foundations of Computer Science
… system can be considered as a computation tree, but also a as a set of computation sequences. The set…
Cited by 23 (1 self) – Add To MetaCart

Convertibility verification and converter synthesis: Two faces of the same coin
by Roberto Passerone, Luca De Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-vincentelli — 2002 — In International Conference on Computer Aided Design ICCAD
… the sequence of sets Í �Í �Í �� É by letting Í � Ì ÒÓÒ�ÐÓ � and, for � � , Í� � Ì ÒÓÒ�ÐÓ � � �ÔÖ� Í…
Cited by 13 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB