MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects." – sorted by Relevance.

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

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

145,029 documents found, showing 1 through 10. Next 10 →

ATOM

SOMETIMES "TOMORROW" IS "SOMETIME" - Action Refinement in a Temporal Logic of Objects
by José Luiz Fiadeiro, Tom Maibaum — 1994 — In: Proc. ICTL'94, LNAI 827
… "TOMORROW" IS "SOMETIME" Action Refinement in a Temporal Logic of Objects José Luiz Fiadeiro ILTEC…
Cited by 9 (0 self) – Add To MetaCart

Easy Problems are Sometimes Hard
by Ian Gent, Toby Walsh — 1994 — Artificial Intelligence
…Easy Problems are Sometimes Hard Ian P. Gent Toby Walsh Department of AI INRIA…
Cited by 67 (17 self) – Add To MetaCart

Inductive Reasoning is Sometimes Deductive
by Éric Grégoire, Eric Gr, Lakhdar Saïs — 1996
…-theoretic account of generalization can be reinterpreted into logical terms. But, we also claim that there is not a…
Cited by 1 (0 self) – Add To MetaCart

QR Sometimes Beats Jacobi
by Stewart March, G. W. Stewart, G. W. Stewart
… of Maryland, College Park, MD 20742. QR Sometimes Beats Jacobi G. W. Stewart ABSTRACT This note exhibits a…
Add To MetaCart

QR Sometimes Beats Jacobi
by Stewart Mar Ch, G. W. Stewart, G. W. Stewart
… of Maryland, College Park, MD 20742. QR Sometimes Beats Jacobi G. W. Stewart ABSTRACT This note exhibits a…
Add To MetaCart

– Save time (sometimes)
by Degraw Technical Services
… – Be proactive – Save time (sometimes) ■ FrameMaker ■ Interleaf ■ SGML ■ Microsoft Word ■ Corel Ventura Publisher…
Add To MetaCart

Nonmonotonic Reasoning is Sometimes Simpler!
by Grigori Schwarz, Miroslaw Truszczynski — 1993
…, the nonmonotonic logic S4 is the first example of a nonmonotonic formalism which is computationally easier than…
Cited by 5 (0 self) – Add To MetaCart

Duality in Combinatorial Optimization - Sometimes it Works, Sometimes it Won't
by W. Hochstattler, Winfried Hochstättler — 1997
… in Combinatorial Optimization -- Sometimes it Works, Sometimes it Won't by W. Hochstattler 1997 Winfried…
Add To MetaCart

Navigation in Hypertext is Easy Only Sometimes
by Mark Levene, George Loizou — 1999 — SIAM JOURNAL ON COMPUTING
… define a Hypertext query language for our model based on a subset of propositional linear temporal logic…
Cited by 10 (7 self) – Add To MetaCart

Irreproducible benchmarks might be sometimes useful
by Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko — 1998 — In EW 8: Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
… this recording are: a) It is not obvious when to trigger the next user action. You need a very sophisticated…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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