6881 search results - page 1166 / 1377 » Motivation |
176
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
184
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
182
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Web search is generally motivated by an information need. Since asking well-formulated questions is the fastest and the most natural way to obtain information for human beings, al...
199
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
150
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
We study alternatives to FM-based partitioning in the context of end-case processing for top-down standard-cell placement. The primary motivation is that small partitioning instan...