3446 search results - page 665 / 690 » A Reasoning Algorithm for pD* |
108
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
106
click to vote
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Software systems should consist of simple, conceptually clean software components interacting along narrow, well-defined paths. All too often, this is not reality: complex compon...
106
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Extract-Transform-Load (ETL) processes play an important role in data warehousing. Typically, design work on ETL has focused on performance as the sole metric to make sure that the...
118
click to vote
SMA
1999
ACM
15 years 5 months ago
1999
ACM
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...