2178 search results - page 267 / 436 » Inferring complex plans |
127
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
107
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
173
click to vote
ADL
2000
Springer
15 years 8 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
151
click to vote
ESORICS
1998
Springer
15 years 8 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
142
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...