Search alternatives:
towards temporal » towards general, towards neural, towards central
lords temporal » birds temporal, cards temporal, logics temporal
Cover Image
Read Now

1
by Liu, Kai, Dai, Penglin, Lee, Victor C.S., Ng, Joseph Kee-Yin
Published 2024
Springer Nature Singapore
Table of Contents: “... Vehicular Networks -- Chapter 6. Temporal Data Uploading and Dissemination in Real-time Vehicular Networks...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Protocols for BGP/MPLS Based Mobile VPN -- Migration toward DiffServ-Enabled Broadband Access Networks...”
Cover Image
Read Now

3
by Goertzel, Ben, Geisweiller, Nil, Coelho, Lucio, Janičić, Predrag
Published 2011
Atlantis Press
Table of Contents: “... -- Representing Temporal Knowledge -- Temporal Reasoning -- Representing and Reasoning On Spatial Knowledge...”
Cover Image
Read Now

4
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- On the specification of the firing squad problem -- Towards the hierarchical, temporal logic, specification...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Toward an operational theory of media -- First steps to Cross Media Publishing and multimodal...”
Cover Image
Read Now

6
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... of temporal logic to the specification of real time systems -- From a synchronous declarative language to a...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Table of Contents: “... Pointer Analysis -- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive...”
Cover Image
Read Now

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... in Distributed Systems -- Temporal and Active Database Modeling -- Temporal Constraints for Object Migration...”
Cover Image
Read Now

10
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... to be -- The refinement of specifications and the stability of Hoare's Logic -- Toward a logical theory of program data...”
Cover Image
Read Now

11
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Scenarios -- Temporal and Stochastic Issues -- Temporal Patterns for Complex Interaction Design -- Modelling...”
Cover Image
Read Now

12
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Temporal Debugging for Concurrent Systems -- Fate and FreeWill in Error Traces -- Tool Papers -- TIMES b— A...”
Cover Image
Read Now

13
Published 2020
Springer International Publishing
Table of Contents: “...Logic and verification -- Dynamic logics.-Modal and temporal logics.-Epistemic logics -- Program...”
Cover Image
Read Now

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Implications -- Towards an Automatic Analysis of Web Service Security -- Certification of Automated Termination...”
Cover Image
Read Now

15
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...Temporal logic -- Using temporal logic for automatic verification of finite state systems...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... of database design -- Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP...”
Cover Image
Read Now

17
Published 2024
Springer Nature Switzerland
Table of Contents: “... identification using Temporal Graph Neural Networks. -- Explanations for Core Decomposition. -- Graph Neural...”
Cover Image
Read Now

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of data processing based on relational algebra -- Dealing with granularity of time in temporal databases...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
Table of Contents: “...Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early...”
Cover Image
Read Now

20
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Regular Articles -- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence -- An Algorithm...”