2655 search results - page 302 / 531 » User-Tailored Plan Presentation |
174
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an algebra for use with parallel object databases, and in particular ODMG compliant databases with OQL. Although there have been many proposals for parallel r...
163
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
175
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
In response to the occurrence of an air incident, controllers at one of the three Canadian Rescue Coordination Centers (RCC) must make a series of critical decisions on the appropr...
171
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
We present a generalized market architecture that provides support for a variety of types of transactions, from simple buying and selling of goods and services to complex multi-age...
226
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...