2041 search results - page 279 / 409 » Modelling Generic Judgements |
156
click to vote
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
150
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
161
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
156
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
Present approaches to human face detection have made several assumptions that restrict their ability to be extended to general imaging conditions. We identify that the key factori...
168
click to vote
COSIT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...