咨询与建议

限定检索结果

文献类型

  • 29 篇 期刊文献
  • 3 篇 会议
  • 1 册 图书

馆藏范围

  • 33 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 28 篇 工学
    • 27 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 2 篇 软件工程
    • 1 篇 建筑学
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 城乡规划学
  • 14 篇 理学
    • 10 篇 数学
    • 4 篇 地理学
    • 1 篇 统计学(可授理学、...
  • 5 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 33 篇 constraint datab...
  • 7 篇 query languages
  • 5 篇 spatial database...
  • 3 篇 spatio-temporal ...
  • 3 篇 query evaluation
  • 3 篇 database theory
  • 3 篇 databases
  • 3 篇 constraint progr...
  • 2 篇 real algebraic g...
  • 2 篇 moving objects
  • 2 篇 languages
  • 2 篇 computational co...
  • 2 篇 parity
  • 2 篇 database managem...
  • 2 篇 expressiveness
  • 2 篇 ehrenfeucht-frai...
  • 2 篇 first-order logi...
  • 2 篇 commectivity
  • 2 篇 fixed points
  • 2 篇 theory

机构

  • 3 篇 hasselt univ the...
  • 2 篇 indiana univ dep...
  • 2 篇 limburgs univ ct...
  • 2 篇 helsinki inst in...
  • 2 篇 limburgs univ ct...
  • 2 篇 ecole normale su...
  • 1 篇 univ udine diegm...
  • 1 篇 tech univ crete ...
  • 1 篇 microsoft corp r...
  • 1 篇 univ buffalo dep...
  • 1 篇 univ trent dipar...
  • 1 篇 univ cantabria f...
  • 1 篇 dept. info. and ...
  • 1 篇 transnatl univ l...
  • 1 篇 easystaff srl i-...
  • 1 篇 new mexico inst ...
  • 1 篇 university of ed...
  • 1 篇 dept. of comp. s...
  • 1 篇 复旦大学
  • 1 篇 hasselt univ dat...

作者

  • 5 篇 kuijpers bart
  • 4 篇 kuijpers b
  • 3 篇 geerts f
  • 2 篇 fournier h
  • 2 篇 van gucht d
  • 2 篇 othman walied
  • 2 篇 vandeurzen l
  • 2 篇 chomicki j
  • 2 篇 gyssens m
  • 2 篇 grimson rafael
  • 1 篇 王海兵
  • 1 篇 grumbach s
  • 1 篇 bonutti alex
  • 1 篇 lassez jl
  • 1 篇 c. del valle
  • 1 篇 revesz peter
  • 1 篇 bonetti elena
  • 1 篇 segoufin l
  • 1 篇 van den bussche ...
  • 1 篇 su hanwen

语言

  • 30 篇 英文
  • 2 篇 中文
  • 1 篇 法文
检索条件"主题词=constraint databases"
33 条 记 录,以下是1-10 订阅
排序:
Using constraint Programming in Selection Operators for constraint databases
收藏 引用
EXPERT SYSTEMS WITH APPLICATIONS 2014年 第15期41卷 6773-6785页
作者: Teresa Gomez-Lopez, Maria Gasca, Rafael M. Univ Seville Dept Languages & Comp Syst Seville Spain
constraint databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean combinations of both). Commercial database management systems allow the storage and efficien... 详细信息
来源: 评论
Efficient evaluation of specific queries in constraint databases
收藏 引用
INFORMATION PROCESSING LETTERS 2011年 第19期111卷 941-944页
作者: Grimson, Rafael Heintz, Joos Kuijpers, Bart Univ Buenos Aires Fac Ciencias Exactas & Nat Dept Comp RA-1428 Buenos Aires DF Argentina Univ Buenos Aires Fac Ciencias Exactas & Nat Dept Matemat RA-1428 Buenos Aires DF Argentina Consejo Nacl Invest Cient & Tecn RA-1428 Buenos Aires DF Argentina Univ Cantabria Fac Ciencias Dept Matemat Estadist & Comp Santander 39071 Spain Hasselt Univ Database & Theoret Comp Sci Res Grp B-3590 Diepenbeek Belgium
Let F(1),...,F(s) is an element of R[X(1),...,X(n)] be polynomials of degree at most d, and suppose that F(1),...,F(s) are represented by a division free arithmetic circuit of non-scalar complexity size L. Let A be th... 详细信息
来源: 评论
The 3D motion of a solid with large deformations
收藏 引用
COMPTES RENDUS MATHEMATIQUE 2014年 第3期352卷 183-187页
作者: Bonetti, Elena Colli, Pierluigi Fremond, Michel Univ Pavia Dipartimento Matemat F Casorati Lab Lagrange I-27100 Pavia Italy Univ Roma Tor Vergata Dipartimento Ingn Civile Lab Lagrange I-00133 Rome Italy
We study in dimension 3 the motion of a solid with large deformations. The solid may be loaded on its surface by needles, rods, beams, shells, etc. Therefore, it is wise to choose a third gradient theory for the body.... 详细信息
来源: 评论
Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2012年 第1期194卷 59-70页
作者: Bonutti, Alex De Cesco, Fabio Di Gaspero, Luca Schaerf, Andrea Univ Udine DIEGM I-33100 Udine Italy EasyStaff Srl I-33100 Udine Italy
We propose a set of formulations for the Curriculum-Based Course Timetabling problem, with the aim of "capturing" many real-world formulations, and thus encouraging researchers to "reduce" their sp... 详细信息
来源: 评论
An analytic solution to the alibi query in the space-time prisms model for moving object data
收藏 引用
INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE 2011年 第2期25卷 293-322页
作者: Kuijpers, Bart Grimson, Rafael Othman, Walied Hasselt Univ Database & Theoret Comp Sci Res Grp Diepenbeek Belgium
Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When speed limitations in these sample points are also known, space-time prisms (also called bea... 详细信息
来源: 评论
Trajectory databases: Data models, uncertainty and complete query languages
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2010年 第7期76卷 538-560页
作者: Kuijpers, Bart Othman, Walied Hasselt Univ Dept Math Phys & Comp Sci B-3590 Diepenbeek Belgium Transnatl Univ Limburg Limburg Belgium
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples. We study transformations of the ambi... 详细信息
来源: 评论
Uniform generation in spatial constraint databases and applications
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2006年 第4期72卷 576-591页
作者: Gross-Amblard, David de Rougemont, Michel Conservatoire Natl Arts & Metiers Equipe Vertigo Lab CEDRIC Special Informat CC 432 F-75141 Paris 03 France Univ Paris 02 F-91405 Orsay France Univ Paris 11 LRI F-91405 Orsay France
We study the efficient approximation of queries in linear constraint databases using sampling techniques. We define the notion of an almost uniform generator for a generalized relation and extend the classical generat... 详细信息
来源: 评论
IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS USING constraint databases
收藏 引用
IFAC Proceedings Volumes 2006年 第13期39卷 1509-1514页
作者: M.T. Gómez-López R.M. Gasca C. del Valle Escuela Técnica y Superior de Ingeniería Informática de Sevilla Spain
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our p... 详细信息
来源: 评论
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
收藏 引用
THEORETICAL COMPUTER SCIENCE 2005年 第1期336卷 125-151页
作者: Geerts, F Kuijpers, B Limburgs Univ Ctr Dept WNI Dept Math Phys & Comp Sci B-3590 Diepenbeek Belgium Helsinki Inst Informat Technol Basic Res Unit Helsinki Finland
The formalism of constraint databases, in which possibly infinite data sets are described by Boolean combinations of polynomial inequality and equality constraints, has its main application area in spatial databases. ... 详细信息
来源: 评论
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
On the decidability of termination of query evaluation in tr...
收藏 引用
9th International Conference on Database Theory (ICDT)
作者: Geerts, F Kuijpers, B Limburgs Univ Ctr Dept WNI Dept Math Phys & Comp Sci B-3590 Diepenbeek Belgium Helsinki Inst Informat Technol Basic Res Unit Helsinki Finland
The formalism of constraint databases, in which possibly infinite data sets are described by Boolean combinations of polynomial inequality and equality constraints, has its main application area in spatial databases. ... 详细信息
来源: 评论