4961 search results - page 415 / 993 » Homomorphism-Homogeneous Relational Structures |
161
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Queries navigate semistructured data via path expressions, and can be accelerated using an index. Our solution encodes paths as strings, and inserts those strings into a special i...
220
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
210
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
187
click to vote
HRI
2010
ACM
15 years 11 months ago
2010
ACM
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
195
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...