掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on Temporal Representation and Reasoning
International Symposium on Temporal Representation and Reasoning
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Constraint-based qualitative simulation
机译:
基于约束的定性模拟
作者:
Apt K.R.
;
Brand S.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
common-sense reasoning;
constraint theory;
temporal logic;
constraint satisfaction;
constraint-based qualitative simulation;
qualitative reasoning;
simulations;
temporal logic;
2.
Search strategies for resolution in CTL-type logics: extension and complexity
机译:
在CTL型逻辑中的分辨率搜索策略:扩展和复杂性
作者:
Basukoski A.
;
Bolotov A.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
computational complexity;
formal logic;
tree searching;
breadth-first search;
complexity analysis;
concurrent tree logic;
depth-first technique;
logic CTL;
search strategy;
3.
An XML-based framework for temporal database implementation
机译:
基于XML的临时数据库实现框架
作者:
Seo-Young Noh
;
Gadia S.K.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
XML;
temporal databases;
DOM parser;
XML-based framework;
data access;
data boundary;
expression tree;
paginated XML storage;
parametric data model;
parse tree;
query language;
single tuple;
temporal database;
4.
Quantitative temporal logics: PSpace and below
机译:
定量时间逻辑:PSPace及以下
作者:
Lutz C.
;
Walther D.
;
Wolter F.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
computability;
computational complexity;
temporal logic;
PSpace-complete;
PSpace-hard;
computational complexity;
quantitative temporal logics;
satisfiability complexity;
unary coding;
5.
Specification patterns for time-related properties
机译:
时间相关性能的规范模式
作者:
Gruhn V.
;
Laue R.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
formal specification;
formal specification;
property specification;
real-time requirement;
specification pattern;
time-related property;
formal specification;
patterns;
timed model checking;
verification;
6.
Time in Liverpool - an overview of temporal research in the logic and computation group
机译:
利物浦的时间 - 逻辑和计算组的时间研究概述
作者:
anonymous
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
temporal logic;
temporal logic;
temporal research;
7.
Temporal query languages expressive power: /spl mu/TL vs. T-WHILE
机译:
时间查询语言富有表现力的功率:/ SPL MU / TL与T-T-wher
作者:
Bidoit N.
;
Objois M.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
query languages;
temporal databases;
/spl mu/TL;
T-FIXPOINT;
T-WHILE;
temporal query languages;
8.
A uniform algebraic characterization of temporal functional dependencies
机译:
时间功能依赖性的统一代数表征
作者:
Combi C.
;
Montanari A.
;
Rossato R.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
database theory;
process algebra;
temporal databases;
information temporal evolution;
temporal functional dependencies;
uniform algebraic characterization;
9.
A local method for prioritized fusion of temporal information
机译:
用于时间信息优先融合的本地方法
作者:
Khelfallah M.
;
Benhamou B.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
constraint handling;
temporal reasoning;
STP;
information fusion;
linear constraints;
local fusion;
prioritized fusion;
simple temporal problems;
temporal information;
10.
Indexing inventory snapshots
机译:
索引库存快照
作者:
Salzberg B.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
data structures;
database indexing;
indexing structure;
inventory snapshots;
snapshot query costs;
storage costs;
time splitting data structure;
11.
Temporal XML? SQL strikes back!
机译:
时间XML? SQL罢工!
作者:
Fusheng Wang
;
Zaniolo C.
;
Xin Zhou
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
SQL;
XML;
query processing;
standards;
temporal databases;
ArchIS system;
SQL;
SQL:2003 standard;
XQuery standard;
bitemporal database;
commercial database systems;
database standards;
temporal XML;
valid-time database;
12.
Generalized model checking
机译:
广义模型检查
作者:
Godefroid P.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
formal verification;
program diagnostics;
temporal logic;
automatic abstraction;
completeness preorders;
generalized model checking;
open systems;
program verification;
reactive program abstraction;
three-valued abstractions;
three-valued temporal logic;
13.
CME: a temporal relational model for efficient coalescing
机译:
CME:高效合并的时间关系模型
作者:
Al-Kateb M.
;
Mansour E.
;
El-Sharkawi M.E.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
database theory;
query processing;
relational databases;
temporal databases;
additional attributes;
coalescing;
data restructuring;
database management system;
join-free group-by query;
overlapping tuples;
temporal databases;
temporal query;
temporal relation;
tempor;
14.
A multilevel distance-based index structure for multivariate time series
机译:
基于多变量时间序列的多级距离索引结构
作者:
Kiyoung Yang
;
Shahabi C.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
data structures;
database indexing;
principal component analysis;
time series;
Eros;
Muse;
PCA;
extended Frobenius norm;
multilevel distance-based index structure;
multivariate time series;
principal component analysis;
15.
On the freeze quantifier in constraint LTL: decidability and complexity
机译:
在约束LTL中的冻结倍数:可解锁性和复杂性
作者:
Demri S.
;
Lazic R.
;
Nowak D.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
computational complexity;
decidability;
temporal logic;
EXPSPACE-completeness;
Presburger constraints;
constraint LTL;
decidability;
formal language;
freeze operator;
freeze quantifier;
linear temporal logic;
undecidability;
16.
An efficient algorithm for minimizing time granularity periodical representations
机译:
一种高效算法,可最大限度地减少时间粒度周期表示
作者:
Bettini C.
;
Mascetti S.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
minimisation;
algebraic expressions;
intuitively define granularities;
mathematical characterizations;
minimal periodic sets;
minimization algorithm;
periodic representation;
time granularity periodical representations;
17.
Time and the semantic Web
机译:
时间和语义网络
作者:
Pustejovsky J.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
natural languages;
semantic Web;
temporal logic;
DAML-Time ontology;
Hobbs time framework;
TimeML;
Web interactions;
Web texts;
event related information;
natural language text;
semantic Web;
semantic ontologies;
temporal information;
18.
Deterministic CTL query solving
机译:
确定性CTL查询求解
作者:
Samer M.
;
Veith H.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
binary decision diagrams;
formal specification;
query processing;
temporal logic;
BDD-based symbolic algorithm;
deterministic CTL query solving;
model checking;
temporal logic query;
19.
Probabilistic calculation of execution intervals for workflows
机译:
工作流程执行间隔的概率计算
作者:
Eder J.
;
Pichler H.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
business data processing;
computational complexity;
enterprise resource planning;
probability;
time management;
workflow management software;
activity duration;
branching decision;
constraint violation;
execution duration;
execution interval;
probabilistic calculat;
20.
'TellMe': a novel protocol and location prediction scheme exploiting the 'one for all' framework for location management
机译:
“tellme”:一种新的协议和位置预测方案,利用“一个用于所有”框架的位置管理
作者:
ElNahas A.
;
Hamad A.
;
Karam O.H.
;
Ramzy I.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
data mining;
temporal databases;
visual databases;
TellMe;
knowledge discovery;
location management;
location prediction;
mobility groups;
moving object databases;
one for all framework;
21.
Exploiting the relationship between IA networks and finite domain CSPs
机译:
利用IA网络与有限域CSP之间的关系
作者:
Trudel A.
;
Haiyi Zhang
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
algebra;
communicating sequential processes;
equivalent binary CSP problem;
finite domain CSP;
qualitative interval algebra network;
standard binary CSP solution;
22.
A trace semantics for positive core XPath
机译:
积极核心XPath的跟踪语义
作者:
Hartel P.H.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
XML;
authorisation;
meta data;
query processing;
temporal logic;
SPIN model checker;
access control;
branching structures;
information relevance;
intermediate nodes;
linear temporal logic;
positive core XPath;
query engine;
trace semantics;
23.
Using inference for evaluating models of temporal discourse
机译:
使用推断评估时间话语模型
作者:
Muller P.
;
Reymonet A.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
inference mechanisms;
natural languages;
temporal logic;
Reichenbach theory;
building model;
context-dependent;
event-to-event relation detection;
inference;
narrative discourse theory;
natural language;
temporal data;
temporal discourse;
temporal interpretation;
ten;
24.
A data compression technique for sensor networks with dynamic bandwidth allocation
机译:
具有动态带宽分配的传感器网络数据压缩技术
作者:
Song Lin
;
Gunopulos D.
;
Kalogeraki V.
;
Lonardi S.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
bandwidth allocation;
codes;
vector quantisation;
wireless sensor networks;
codebook updates;
communication bandwidth;
data compression;
dynamic bandwidth allocation;
historical information compression;
learning vector quantization;
sensor data transmission;
sensor;
25.
LOLA: runtime monitoring of synchronous systems
机译:
LOLA:同步系统的运行时监控
作者:
DAngelo B.
;
Sankaranarayanan S.
;
Sanchez C.
;
Robinson W.
;
Finkbeiner B.
;
Sipma H.B.
;
Mehrotra S.
;
Manna Z.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
embedded systems;
formal specification;
peripheral interfaces;
specification languages;
system monitoring;
LOLA;
PCI bus protocol;
algorithm memory requirement;
correctness assertion;
embedded system;
failure assertion;
memory controller;
offline monitoring algorith;
26.
Propositional interval temporal logics: some promising paths
机译:
命题间隔时间逻辑:一些有前途的道路
作者:
Montanari A.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
decidability;
temporal logic;
decidability;
propositional interval temporal logic;
time interval;
27.
Configuration logic: a multi-site modal logic
机译:
配置逻辑:多站点模态逻辑
作者:
Villemaire R.
;
Halle S.
;
Cherkaoui O.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
configuration management;
formal logic;
computing system configuration;
configuration logic;
multi-site modal logic;
partial functions;
28.
Version management and historical queries in digital libraries
机译:
数字图书馆版本管理和历史查询
作者:
Fusheng Wang
;
Zaniolo C.
;
Xin Zhou
;
Moon H.J.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
XML;
configuration management;
digital libraries;
query processing;
relational databases;
CIA WorldFact Book;
W3C Xlink standard;
XML;
XQuery;
course catalog;
data warehouse;
digital library;
document archive;
historical query;
relational database;
transaction time dat;
29.
Temporal logic with predicate /spl lambda/-abstraction
机译:
具有谓词/ splλ/ -abstraction的时间逻辑
作者:
Lisitsa A.
;
Potapov I.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
formal specification;
mobile agents;
temporal logic;
computational universality;
dynamic system specification;
flexible constants;
mobile agents;
predicate abstraction;
predicate linear;
temporal logic;
30.
Efficient rectangle indexing algorithms based on point dominance
机译:
基于点优势的高效矩形索引算法
作者:
Revesz P.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
computational complexity;
computational geometry;
moving query point;
point dominance;
polylogarithmic time;
query rectangle;
rectangle indexing algorithms;
31.
Axiomatisation and decidability of multi-dimensional duration calculus
机译:
多维持续时间微积分的公理化和可解密性
作者:
Schafer A.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
calculus;
decidability;
formal specification;
formal verification;
mobile computing;
real-time systems;
temporal logic;
axiomatisation;
decidability;
duration calculus;
formal specification;
formal verification;
mobile real-time systems;
mobile systems;
spatial logic;
32.
Analysis of timed processes with data using algebraic transformations
机译:
使用代数转换数据分析数据的定时过程
作者:
Reniers M.A.
;
Usenko Y.S.
会议名称:
《International Symposium on Temporal Representation and Reasoning》
|
2005年
关键词:
process algebra;
real-time systems;
algebraic transformation;
equational axiomatization;
model-checking;
real-time system;
state space generation;
symbolic analysis;
system verification;
term rewriting;
theorem proving;
time-free abstraction;
timed /spl mu/CRL;
timed;
意见反馈
回到顶部
回到首页