4961 search results - page 415 / 993 » Homomorphism-Homogeneous Relational Structures |
137
click to vote
VLDB
2001
ACM
15 years 9 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...
188
Voted
WISE
2000
Springer
15 years 9 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...
160
click to vote
CSL
2000
Springer
15 years 9 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...
153
click to vote
HRI
2010
ACM
15 years 9 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 ...
157
click to vote
EUROMICRO
1999
IEEE
15 years 9 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...