skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: assunto: Logic remover Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Efficient aggregation over moving objects
Efficient aggregation over moving objects
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient aggregation over moving objects

Revesz, P. ; Yi Chen

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings, 2003, p.118-127

IEEE

Texto completo disponível

Citações Citado por
2
CTL Model Checking for Labelled Tree Queries
CTL Model Checking for Labelled Tree Queries
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

CTL Model Checking for Labelled Tree Queries

Halle, S. ; Villemaire, R. ; Cherkaoui, O.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.27-35

IEEE

Texto completo disponível

Citações Citado por
3
Is There a Future for Deductive Temporal Verification?
Is There a Future for Deductive Temporal Verification?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Is There a Future for Deductive Temporal Verification?

Dixon, C. ; Fisher, M. ; Konev, B.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.11-18

IEEE

Texto completo disponível

Citações Citado por
4
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN

Makni, A. ; Bouaziz, R. ; Gargouri, F.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.160-167

IEEE

Texto completo disponível

Citações Citado por
5
A Decidable Temporal Logic for Events and States
A Decidable Temporal Logic for Events and States
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Decidable Temporal Logic for Events and States

Konur, S.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.36-41

IEEE

Texto completo disponível

Citações Citado por
6
Representing trends and trend dependencies with multiple granularities
Representing trends and trend dependencies with multiple granularities
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Representing trends and trend dependencies with multiple granularities

Combi, C. ; Rossato, R.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.3-10

IEEE

Texto completo disponível

Citações Citado por
7
In time alone: on the computational power of querying the history
In time alone: on the computational power of querying the history
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

In time alone: on the computational power of querying the history

Lisitsa, A. ; Potapov, I.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.42-49

IEEE

Texto completo disponível

Citações Citado por
8
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automated Verification of Continuous Time Systems by Discrete Temporal Induction

Gargantini, A. ; Morzenti, A.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.19-26

IEEE

Texto completo disponível

Citações Citado por
9
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Morales, A. ; Sciavicco, G.

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006, p.50-60

IEEE

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.